# HG changeset patch
# User ihse
# Date 1511858951 -3600
# Node ID 9a7dc96eb3ba7600bcbeb5009d7a72d2bf21fe82
# Parent  789766475fe4db6e4f1569a580fe89c5ef58792f
Provide a proper make when running tests.

diff -r 789766475fe4 -r 9a7dc96eb3ba make/conf/jib-profiles.js
--- 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")