diff options
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. |