diff options
author | lloyd <[email protected]> | 2009-07-08 13:46:20 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2009-07-08 13:46:20 +0000 |
commit | 21ee2908176f6a334069078360b46ffa461221ca (patch) | |
tree | 474120453385b9ae8a48d91796c77eb32dbbfd5a | |
parent | ed77cade7e4ae0f6143d4885d2242e1ddf3a61cf (diff) |
Use a single regexp combined with | instead of three distinct searches
-rwxr-xr-x | configure.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/configure.py b/configure.py index 81c168037..5fb9b08c6 100755 --- a/configure.py +++ b/configure.py @@ -959,9 +959,9 @@ def main(argv = None): subprocess.Popen(['g++', '-v'], stdout=subprocess.PIPE, stderr=subprocess.PIPE).communicate()) - if re.search('4\.[01234]', gcc_version) or \ - re.search('3\.[34]', gcc_version) or \ - re.search('2\.95\.[0-4]', gcc_version): + + if re.search('(4\.[01234]\.)|(3\.[34]\.)|(2\.95\.[0-4])', + gcc_version): options.dumb_gcc = True if options.dumb_gcc is True: |