diff options
author | 2020-11-03 09:49:47 -0800 | |
---|---|---|
committer | 2020-11-03 09:49:47 -0800 | |
commit | d987cc1021e33edc1a528fcd782a0867a94154df (patch) | |
tree | 3c272a26eccdf6ee1add3915f24b5d1970090bce /projects/quickjs/Dockerfile | |
parent | edf81080a87410ddf5f5e7e705173c2dd6a14ff9 (diff) |
Fix building & repro on local source (#4594)
* Fix building & repro on local source
With this
https://google.github.io/oss-fuzz/advanced-topics/reproducing/#reproduce-using-local-source-checkout
actually works
* Update Dockerfile
Co-authored-by: Abhishek Arya <inferno@chromium.org>
Diffstat (limited to 'projects/quickjs/Dockerfile')
-rw-r--r-- | projects/quickjs/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/quickjs/Dockerfile b/projects/quickjs/Dockerfile index c7223a86..3e72ada2 100644 --- a/projects/quickjs/Dockerfile +++ b/projects/quickjs/Dockerfile @@ -17,6 +17,6 @@ FROM gcr.io/oss-fuzz-base/base-builder RUN apt-get update && apt-get install -y make RUN git clone --depth 1 https://github.com/bellard/quickjs quickjs -WORKDIR $SRC/ +WORKDIR $SRC/quickjs COPY build.sh $SRC/ COPY fuzz*.c $SRC/ |