diff options
| author |  inferno-chromium <inferno@chromium.org> | 2016-12-15 12:52:28 -0800 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2016-12-15 12:52:28 -0800 |
| commit | 36ac161d1d307fa450f816e06d24e7bc14c862fa (patch) | |
| tree | 1ff645dbe02c71aefbc6c6d928d267a51b1fbb8e | |
| parent | a92ee6cb92937dc5d38e759bc4531a01b5817fbf (diff) | |
Update Dockerfile
| -rw-r--r-- | projects/re2/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/re2/Dockerfile b/projects/re2/Dockerfile index 51a5e9a7..136dc3dc 100644 --- a/projects/re2/Dockerfile +++ b/projects/re2/Dockerfile @@ -20,4 +20,4 @@ RUN apt-get install -y make autoconf automake libtool RUN git clone --depth 1 https://code.googlesource.com/re2 WORKDIR re2 -COPY build.sh re2_fuzzer.options $SRC/ +COPY build.sh $SRC/ |