aboutsummaryrefslogtreecommitdiff
path: root/tools/shared.py
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2012-04-20 09:51:11 -0700
committerAlon Zakai <alonzakai@gmail.com>2012-04-20 09:51:11 -0700
commit5c54c33359246ee82ec7c62249bf7664beaab9fb (patch)
tree1ec3fe65b277f53fd703abde4e44fe8d759d341d /tools/shared.py
parent96f46bba62e44eefa6ddf4ec031ed8725e95fb12 (diff)
clear cache on non-forced sanity checks if the config file changed
Diffstat (limited to 'tools/shared.py')
-rw-r--r--tools/shared.py3
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py
index ea382501..5751ef60 100644
--- a/tools/shared.py
+++ b/tools/shared.py
@@ -61,6 +61,9 @@ def check_sanity(force=False):
except:
pass
+ print >> sys.stderr, '(Emscripten: Config file changed, clearing cache)' # LLVM may have changed, etc.
+ Cache.erase()
+
print >> sys.stderr, '(Emscripten: Running sanity checks)'
if not check_engine(COMPILER_ENGINE):