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