diff options
author | Jack Lloyd <[email protected]> | 2017-05-19 11:29:38 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2017-05-19 11:29:38 -0400 |
commit | 72270aff26391cf1d18d826532c2b4e36ec07175 (patch) | |
tree | b4346111eb3f676593f4381203d3fcddbd2f7601 | |
parent | 419d30e974538676784a55a3df8a5cd5791bdb5f (diff) |
Don't error out the build if compiler version does not match expected format
-rwxr-xr-x | configure.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/configure.py b/configure.py index 1bd8d2f1b..a890a99d6 100755 --- a/configure.py +++ b/configure.py @@ -2623,8 +2623,9 @@ def detect_compiler_version(ccinfo, cc_bin, os_name): return '3.8' # safe default if cc_version is None: - logging.error("Ran '%s' to get %s compiler version, but no %s version found in %s" % ( - ' '.join(cc_cmd), ccinfo.basename, ccinfo.basename, cc_output)) + logging.warning("Ran '%s' to get %s version, but output '%s' does not match expected version format" % ( + ' '.join(cc_cmd), ccinfo.basename, cc_output)) + return None logging.info('Detected %s compiler version %s' % (ccinfo.basename, cc_version)) return cc_version |