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:16:47 -0800 |
| commit | 316ac8372e6d3aa27bfbde4b43ef9ddb4a142ae5 (patch) | |
| tree | a55865b3084eef8589333c42ee1e0085fabbd01e /emscripten.py | |
| parent | 0e278173c9a3b07e165abdfd08eb95cd1d4325e0 (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. |