mirror of
https://github.com/openwrt/openwrt.git
synced 2025-01-28 23:23:59 +00:00
check for correct make version ( thanks to Thomas )
SVN-Revision: 14727
This commit is contained in:
parent
91042e02a7
commit
89181213dc
@ -15,6 +15,14 @@ my $mk=`which gmake`; # select the right 'make' program
|
|||||||
chomp($mk); # trim trailing newline
|
chomp($mk); # trim trailing newline
|
||||||
$mk or $mk = "make"; # default to 'make'
|
$mk or $mk = "make"; # default to 'make'
|
||||||
|
|
||||||
|
# check version of make
|
||||||
|
my @mkver = split /\s+/, `$mk -v`, 4;
|
||||||
|
my $valid_mk = 1;
|
||||||
|
$mkver[0] =~ /^GNU/ or $valid_mk = 0;
|
||||||
|
$mkver[1] =~ /^Make/ or $valid_mk = 0;
|
||||||
|
$mkver[2] >= "3.81" or $valid_mk = 0;
|
||||||
|
$valid_mk or die "Unsupported version of make found: $mk\n";
|
||||||
|
|
||||||
my @feeds;
|
my @feeds;
|
||||||
my %build_packages;
|
my %build_packages;
|
||||||
my %installed;
|
my %installed;
|
||||||
|
Loading…
x
Reference in New Issue
Block a user