diff options
author | 2019-09-17 07:52:40 -0700 | |
---|---|---|
committer | 2019-09-17 07:52:40 -0700 | |
commit | 44e7362ff5b109c0f12b9b7470cd239f8504b98e (patch) | |
tree | 8ae854b7faa07ecc8e667695dd5913f24be28c3c /projects/php | |
parent | d1ed6b87a740878117ce804734b92e65313d6b3c (diff) |
fuzzer has been merged into upstream repo, no need to check out extra repo anymore (#2839)
Diffstat (limited to 'projects/php')
-rw-r--r-- | projects/php/Dockerfile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/projects/php/Dockerfile b/projects/php/Dockerfile index 32f88b84..24c1b314 100644 --- a/projects/php/Dockerfile +++ b/projects/php/Dockerfile @@ -22,8 +22,5 @@ RUN apt-get update && apt-get install -y make autoconf automake libtool bison re ADD cosmic.list /etc/apt/sources.list.d/cosmic.list RUN apt-get update && apt-get install -y libonig5 libonig-dev RUN git clone --depth 1 --branch master https://github.com/php/php-src.git php-src -RUN git clone --depth 1 https://github.com/php/php-fuzzing-sapi.git php-src/sapi/fuzzer WORKDIR php-src COPY build.sh *.options $SRC/ -# This ideally will be gone eventually, right now used for more flexibility in tweaking Makefile options -# COPY Makefile.frag $SRC/php-src/sapi/fuzzer |