diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2016-10-14 18:21:23 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2016-10-14 18:21:23 +0200 |
commit | f63bf12193deaf9cae5b1d6c7289afc17a7de946 (patch) | |
tree | e0be9be96c47e96d0370acdf00c34a15e4b23053 /platform/javascript/detect.py | |
parent | 292132ef6b4a909e320e74170037c8c591ffeea4 (diff) | |
download | redot-engine-f63bf12193deaf9cae5b1d6c7289afc17a7de946.tar.gz |
Drop nedmalloc which is apparently not used anymore
Diffstat (limited to 'platform/javascript/detect.py')
-rw-r--r-- | platform/javascript/detect.py | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/platform/javascript/detect.py b/platform/javascript/detect.py index 0d4f0b00e5..0f1fd23177 100644 --- a/platform/javascript/detect.py +++ b/platform/javascript/detect.py @@ -25,20 +25,11 @@ def get_opts(): def get_flags(): return [ - ('lua', 'no'), ('tools', 'no'), - ('nedmalloc', 'no'), ('theora', 'no'), - ('tools', 'no'), - ('nedmalloc', 'no'), ('musepack', 'no'), - ('squirrel', 'no'), ('squish', 'no'), - ('old_scenes', 'no'), ('etc1', 'no'), -# ('default_gui_theme', 'no'), - - #('builtin_zlib', 'no'), ] |