summaryrefslogtreecommitdiff
path: root/emcc
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2014-02-25 20:23:56 -0800
committerAlon Zakai <alonzakai@gmail.com>2014-02-25 20:23:56 -0800
commit3e489d4ba4aa70907f0cffb54864814fb873208e (patch)
treec47083726a244c162d5ace74d912597bc6afd11f /emcc
parentda9f5bf26ad3476cebde550f5b1c2c5dca40ac58 (diff)
run a sanity check after clearing the cache
Diffstat (limited to 'emcc')
-rwxr-xr-xemcc1
1 files changed, 1 insertions, 0 deletions
diff --git a/emcc b/emcc
index b8ccbdcf..1125a639 100755
--- a/emcc
+++ b/emcc
@@ -940,6 +940,7 @@ try:
newargs[i] = ''
logging.warning('clearing cache')
shared.Cache.erase()
+ shared.check_sanity(force=True) # this is a good time for a sanity check
sys.exit(0)
elif newargs[i] == '--save-bc':
check_bad_eq(newargs[i])