diff options
Diffstat (limited to 'crawl-ref/source/util')
-rwxr-xr-x | crawl-ref/source/util/gcc-opt.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crawl-ref/source/util/gcc-opt.pl b/crawl-ref/source/util/gcc-opt.pl index 5ed4e48f64..5981876984 100755 --- a/crawl-ref/source/util/gcc-opt.pl +++ b/crawl-ref/source/util/gcc-opt.pl @@ -28,7 +28,7 @@ my $arch = `uname -m`; # # Matches ix86, i386, i486, i586, i686 # -my $pattern = "i([x3-6])86"; +my $pattern = "i([x3-6])86|x86_64"; if ($arch =~ $pattern) { system("util/gcc-opt-x86.pl $gcc"); exit 0 |