diff options
author | 2020-05-28 08:38:19 -0700 | |
---|---|---|
committer | 2020-05-28 08:38:19 -0700 | |
commit | c1de59d07df11e81530d67df80d423612b3ccab6 (patch) | |
tree | 98e8e55c7607d8f3afe4de3ad7cd2c030ae5eacf /projects/spidermonkey-ufi | |
parent | ba8143b128a766cf3bb1061ffa7cc7c1c27e539a (diff) |
Fix spidermonkey-ufi build.
Diffstat (limited to 'projects/spidermonkey-ufi')
-rwxr-xr-x | projects/spidermonkey-ufi/build.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/projects/spidermonkey-ufi/build.sh b/projects/spidermonkey-ufi/build.sh index d4deb8dc..4f2cd6e2 100755 --- a/projects/spidermonkey-ufi/build.sh +++ b/projects/spidermonkey-ufi/build.sh @@ -27,6 +27,10 @@ export SHELL=/bin/bash autoconf2.13 +# Skip patches for now +rm tools/fuzzing/libfuzzer/patches/*.patch +touch tools/fuzzing/libfuzzer/patches/dummy.patch + # Update internal libFuzzer. (cd ../../tools/fuzzing/libfuzzer && ./clone_libfuzzer.sh HEAD) |