diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-14 22:17:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-14 22:17:03 +0200 |
| commit | 17f06202b7d5e00b6bf250e03b0ca994ee5dd298 (patch) | |
| tree | d6a6897a07c762fb6263e77ab4ed14815f2aa244 /platform/javascript | |
| parent | 6ca2128ff8439fa669995f54940389b8f5d9b854 (diff) | |
| parent | f63bf12193deaf9cae5b1d6c7289afc17a7de946 (diff) | |
Merge pull request #6827 from akien-mga/pr-bye-nedmalloc
Drop nedmalloc which is apparently not used anymore
Diffstat (limited to 'platform/javascript')
| -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'), ] |