diff options
| -rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index c92850cda..339292fd2 100755 --- a/configure.py +++ b/configure.py @@ -1033,7 +1033,7 @@ def main(argv = None): if options.compiler == 'gcc': def is_64bit_arch(arch): - if arch == 'alpha' or arch.endswith('64'): + if arch.endswith('64') or arch in ['alpha', 's930x']: return True return False |