modify jenkins makefile