diff options
author | Abhishek Arya <inferno@chromium.org> | 2017-11-08 07:52:56 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-08 07:52:56 -0800 |
commit | fdd0cff32a7bf678fc6a69e929def6ae9787c220 (patch) | |
tree | 2933b361d1380007491a4f1166ba66bb34e1efc8 /projects/spidermonkey | |
parent | 320cc7899eaf58df8b94ef5331afff8d8d302bdc (diff) | |
download | oss-fuzz-fdd0cff32a7bf678fc6a69e929def6ae9787c220.tar.gz |
Update build.sh
Diffstat (limited to 'projects/spidermonkey')
-rwxr-xr-x | projects/spidermonkey/build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/projects/spidermonkey/build.sh b/projects/spidermonkey/build.sh index 8c4774b18..a9d1d2468 100755 --- a/projects/spidermonkey/build.sh +++ b/projects/spidermonkey/build.sh @@ -25,6 +25,7 @@ cd build_DBG.OBJ ../configure \ --enable-debug \ + --enable-optimize \ --disable-shared-js \ --disable-jemalloc \ --enable-address-sanitizer |