diff options
Diffstat (limited to 'crawl-ref/source/util/gen_ver.pl')
-rwxr-xr-x | crawl-ref/source/util/gen_ver.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crawl-ref/source/util/gen_ver.pl b/crawl-ref/source/util/gen_ver.pl index 27eb062617..6828fd38e8 100755 --- a/crawl-ref/source/util/gen_ver.pl +++ b/crawl-ref/source/util/gen_ver.pl @@ -106,7 +106,7 @@ if ( $verstring ne $tag || !$pretyp ) { } } -my $OS = `uname -o`; +my $OS = `uname -s`; my $machine = `uname -m`; my $processor = `uname -p`; |