diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2011-11-18 10:02:45 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2011-11-18 10:02:45 -0800 |
| commit | 07567421aa6931d47b80938780fbe01e8abccb13 (patch) | |
| tree | cdaf406ff491d727254f53e798b561e3f59d25b2 /emscripten.py | |
| parent | c1fb23123271f4250b80e76c0393842d2d4dbd2b (diff) | |
rename OPTIMIZE to MICRO_OPTS
Diffstat (limited to 'emscripten.py')
| -rwxr-xr-x | emscripten.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/emscripten.py b/emscripten.py index 47a825d8..e689cc69 100755 --- a/emscripten.py +++ b/emscripten.py @@ -168,6 +168,7 @@ def main(args): settings = {} for setting in args.settings: name, value = setting.strip().split('=', 1) + assert name != 'OPTIMIZE', 'OPTIMIZE has been renamed MICRO_OPTS, to not confuse new users. Sorry for any inconvenience.' settings[name] = json.loads(value) # Adjust sign correction for dlmalloc. |