diff options
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/configure.py b/configure.py index 279797ce0..ebe3bfffc 100755 --- a/configure.py +++ b/configure.py @@ -870,14 +870,10 @@ class ModuleInfo(InfoObject): try: name, version = cc.split(":") if name == ccinfo.basename: - if cc_min_version: - min_cc_version = [int(v) for v in version.split('.')] - cur_cc_version = [int(v) for v in cc_min_version.split('.')] - # With lists of ints, this does what we want - return cur_cc_version >= min_cc_version - else: - # Compiler version unknown => module unsupported - return False + min_cc_version = [int(v) for v in version.split('.')] + cur_cc_version = [int(v) for v in cc_min_version.split('.')] + # With lists of ints, this does what we want + return cur_cc_version >= min_cc_version except ValueError: # No version part specified pass |