Jenkins makefile