diff options
Diffstat (limited to 'crawl-ref/source/util')
| -rwxr-xr-x | crawl-ref/source/util/gcc-gte.pl | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/crawl-ref/source/util/gcc-gte.pl b/crawl-ref/source/util/gcc-gte.pl index cd74544d7f..686348c5f8 100755 --- a/crawl-ref/source/util/gcc-gte.pl +++ b/crawl-ref/source/util/gcc-gte.pl @@ -40,11 +40,21 @@ my $min_major = $1; my $min_minor = $2; my $min_patch = $3; +if ($local_major > $min_major) { + print "Yes\n"; + exit 0; +} + if ($local_major < $min_major) { print "No\n"; exit 0; } +if ($local_minor > $min_minor) { + print "Yes\n"; + exit 0; +} + if ($local_minor < $min_minor) { print "No\n"; exit 0; |