diff options
| -rw-r--r-- | tools/shared.py | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/tools/shared.py b/tools/shared.py index 4ab54273..3ddf6f47 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -62,12 +62,6 @@ def check_llvm_version(): # only when ${EM_CONFIG}_sanity does not exist or is older than EM_CONFIG (so, # we re-check sanity when the settings are changed) def check_sanity(force=False): - check_llvm_version() # just a warning, not a fatal check - do it even if EM_IGNORE_SANITY is on - - if os.environ.get('EM_IGNORE_SANITY'): - print >> sys.stderr, 'EM_IGNORE_SANITY set, ignoring sanity checks' - return - try: if not force: if not CONFIG_FILE: @@ -84,6 +78,12 @@ def check_sanity(force=False): print >> sys.stderr, '(Emscripten: Config file changed, clearing cache)' # LLVM may have changed, etc. Cache.erase() + check_llvm_version() # just a warning, not a fatal check - do it even if EM_IGNORE_SANITY is on + + if os.environ.get('EM_IGNORE_SANITY'): + print >> sys.stderr, 'EM_IGNORE_SANITY set, ignoring sanity checks' + return + print >> sys.stderr, '(Emscripten: Running sanity checks)' if not check_engine(COMPILER_ENGINE): |