diff options
-rwxr-xr-x | scripts/feeds | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/feeds b/scripts/feeds index 2c0baa658..b1bdee597 100755 --- a/scripts/feeds +++ b/scripts/feeds @@ -12,7 +12,7 @@ chdir "$FindBin::Bin/.."; $ENV{TOPDIR}=getcwd(); $ENV{GIT_CONFIG_PARAMETERS}="'core.autocrlf=false'"; -my $mk=`which gmake`; # select the right 'make' program +my $mk=`which gmake 2>/dev/null`; # select the right 'make' program chomp($mk); # trim trailing newline $mk or $mk = "make"; # default to 'make' |