--- a/make/conf/jib-profiles.js	Tue Nov 28 10:21:25 2017 +0100
+++ b/make/conf/jib-profiles.js	Wed Nov 29 21:27:15 2017 +0100
@@ -846,6 +846,10 @@
                 : "MAKE=" + input.get("gnumake", "install_path") + "/bin/make"),
 
             environment_name: "MAKE",
+            environment_value: (input.build_os == "windows"
+                ? input.get("gnumake", "install_path") + "/cygwin/bin/make"
+                : input.get("gnumake", "install_path") + "/bin/make"),
+
             environment_path: (input.build_os == "windows"
                 ? input.get("gnumake", "install_path") + "/cygwin/bin"
                 : input.get("gnumake", "install_path") + "/bin")