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/bb10/detect.py | |
| 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/bb10/detect.py')
| -rw-r--r-- | platform/bb10/detect.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/platform/bb10/detect.py b/platform/bb10/detect.py index 9ab94e619a..2860b7f090 100644 --- a/platform/bb10/detect.py +++ b/platform/bb10/detect.py @@ -32,9 +32,7 @@ def get_opts(): def get_flags(): return [ - ('lua', 'no'), ('tools', 'no'), - ('nedmalloc', 'no'), ('theora', 'no'), ] |