make/conf/jib-profiles.js
branchihse-testmakefiles-branch
changeset 55900 9a7dc96eb3ba
parent 55895 2a99e6a5dd01
child 55913 deb731bd1dc3
--- a/make/conf/jib-profiles.js	Tue Nov 28 09:40:50 2017 +0100
+++ b/make/conf/jib-profiles.js	Tue Nov 28 09:49:11 2017 +0100
@@ -845,6 +845,7 @@
                 ? "MAKE=" + input.get("gnumake", "install_path") + "/cygwin/bin/make"
                 : "MAKE=" + input.get("gnumake", "install_path") + "/bin/make"),
 
+            environment_name: "MAKE",
             environment_path: (input.build_os == "windows"
                 ? input.get("gnumake", "install_path") + "/cygwin/bin"
                 : input.get("gnumake", "install_path") + "/bin")