diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-04-20 09:51:11 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-04-20 09:51:11 -0700 |
commit | 5c54c33359246ee82ec7c62249bf7664beaab9fb (patch) | |
tree | 1ec3fe65b277f53fd703abde4e44fe8d759d341d /tools/shared.py | |
parent | 96f46bba62e44eefa6ddf4ec031ed8725e95fb12 (diff) |
clear cache on non-forced sanity checks if the config file changed
Diffstat (limited to 'tools/shared.py')
-rw-r--r-- | tools/shared.py | 3 |
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): |