diff options
author | Alon Zakai <alonzakai@gmail.com> | 2014-02-25 20:23:56 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2014-02-25 20:23:56 -0800 |
commit | 3e489d4ba4aa70907f0cffb54864814fb873208e (patch) | |
tree | c47083726a244c162d5ace74d912597bc6afd11f /emcc | |
parent | da9f5bf26ad3476cebde550f5b1c2c5dca40ac58 (diff) |
run a sanity check after clearing the cache
Diffstat (limited to 'emcc')
-rwxr-xr-x | emcc | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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]) |