diff options
| -rwxr-xr-x | solenv/bin/build.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/solenv/bin/build.pl b/solenv/bin/build.pl index e634b7caf5d0..30f7c7b3878a 100755 --- a/solenv/bin/build.pl +++ b/solenv/bin/build.pl @@ -1844,7 +1844,7 @@ sub run_job { #gbuild_target = $ENV{gb_TAILBUILDTARGET}; } $gbuild_flags .= ' ' . $ENV{GMAKE_OPTIONS}; - $job_to_do = "make -f Makefile $gbuild_flags $gbuild_target gb_PARTIALBUILD=T"; + $job_to_do = "$ENV{GNUMAKE} -f Makefile $gbuild_flags $gbuild_target gb_PARTIALBUILD=T"; my $make_path = $path; $make_path =~ s!/prj$!!; chdir $make_path; |