diff options
author | Alex Gaynor <alex.gaynor@gmail.com> | 2018-10-09 14:11:04 -0400 |
---|---|---|
committer | Max Moroz <dor3s1@gmail.com> | 2018-10-09 11:11:04 -0700 |
commit | 0584bccf2118ff0191dbf87218c07f40839b23d6 (patch) | |
tree | 66261dba2539ae930435c5e0d253ab42728ccff2 /projects | |
parent | 5c263869ae364dd6ea4331cf0cdfcd58639d286b (diff) |
[spidermonkey] Fixed spidermonkey build by temporarily disabling cranelift (#1864)
Diffstat (limited to 'projects')
-rwxr-xr-x | projects/spidermonkey/build.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/projects/spidermonkey/build.sh b/projects/spidermonkey/build.sh index 3f2120ed..8be21765 100755 --- a/projects/spidermonkey/build.sh +++ b/projects/spidermonkey/build.sh @@ -27,13 +27,15 @@ autoconf2.13 mkdir build_DBG.OBJ cd build_DBG.OBJ +# Temporarily disable cranelift (see bug 1497570) ../configure \ --enable-debug \ --enable-optimize \ --disable-shared-js \ --disable-jemalloc \ --disable-tests \ - --enable-address-sanitizer + --enable-address-sanitizer \ + --disable-cranelift make "-j$(nproc)" |