diff options
| author | Jo-Philipp Wich <jo@mein.io> | 2016-07-07 14:47:43 +0200 |
|---|---|---|
| committer | Zoltan HERPAI <wigyori@uid0.hu> | 2016-07-07 14:47:43 +0200 |
| commit | f51dd01ca6df8e773424f37cfe2b136cb0d37c10 (patch) | |
| tree | 29d9b7cf77e446b280d6009b8bb8219565b9eb2c | |
| parent | a935e22d06b2c354247b3b004c285ede9cd84f58 (diff) | |
| download | master-187ad058-f51dd01ca6df8e773424f37cfe2b136cb0d37c10.tar.gz master-187ad058-f51dd01ca6df8e773424f37cfe2b136cb0d37c10.tar.bz2 master-187ad058-f51dd01ca6df8e773424f37cfe2b136cb0d37c10.zip | |
scripts: feeds: fix version detection for Make >= 4.2.1
Signed-off-by: Jo-Philipp Wich <jo@mein.io>
| -rwxr-xr-x | scripts/feeds | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/feeds b/scripts/feeds index 2b88eb8193..55a8dd94ea 100755 --- a/scripts/feeds +++ b/scripts/feeds @@ -22,7 +22,10 @@ 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; + +my ($mkv1, $mkv2) = split /\./, $mkver[2]; +($mkv1 >= 4 || ($mkv1 == 3 && $mkv2 >= 81)) or $valid_mk = 0; + $valid_mk or die "Unsupported version of make found: $mk\n"; my @feeds; |