diff options
| author |  Stanislav Malyshev <smalyshev@users.noreply.github.com> | 2019-03-13 14:27:13 -0700 |
|---|---|---|
| committer |  Abhishek Arya <inferno@chromium.org> | 2019-03-13 14:27:13 -0700 |
| commit | e5f5406f875c0ed8affc3aee139fa67b099067b7 (patch) | |
| tree | 383d91e3180c3123c670edfcfef8ffa340cbf798 /projects/php | |
| parent | 3c03f1174b587562102ec08ed825f40e8ddabec0 (diff) | |
Fuzzer moved to official php repo (#2239)
Diffstat (limited to 'projects/php')
| -rw-r--r-- | projects/php/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/php/Dockerfile b/projects/php/Dockerfile index f6ff4255..b9c5f432 100644 --- a/projects/php/Dockerfile +++ b/projects/php/Dockerfile @@ -20,7 +20,7 @@ RUN apt-get update && apt-get install -y make autoconf automake libtool bison re xz-utils dpkg-dev file libc-dev pkg-config libcurl4-openssl-dev libedit-dev libsqlite3-dev libssl-dev \ zlib1g-dev libonig-dev chrpath RUN git clone --depth 1 --branch master https://github.com/php/php-src.git php-src -RUN git clone --depth 1 https://github.com/smalyshev/php-fuzzing-sapi.git php-src/sapi/fuzzer +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 |