diff options
| author | Mike Aizatsky <mike.aizatsky@gmail.com> | 2017-03-13 17:40:57 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-13 17:40:57 -0700 |
| commit | 892e524c09fb780a28c81d860205760ebbf135bc (patch) | |
| tree | a90dd848239e24f496a16c1764898d66c6bf5167 /projects/arduinojson | |
| parent | d6ca42d7c913f3a853cab1afbaafed919a0ce6b7 (diff) | |
| download | oss-fuzz-892e524c09fb780a28c81d860205760ebbf135bc.tar.gz | |
[infra] workdir matches project name
Diffstat (limited to 'projects/arduinojson')
| -rw-r--r-- | projects/arduinojson/Dockerfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/projects/arduinojson/Dockerfile b/projects/arduinojson/Dockerfile index 6929136d6..e0e125f9f 100644 --- a/projects/arduinojson/Dockerfile +++ b/projects/arduinojson/Dockerfile @@ -17,6 +17,6 @@ FROM ossfuzz/base-builder MAINTAINER oss-fuzz@benoitblanchon.fr RUN apt-get install -y make zip git -RUN git clone --depth 1 https://github.com/bblanchon/ArduinoJson.git -WORKDIR ArduinoJson +RUN git clone --depth 1 https://github.com/bblanchon/ArduinoJson.git arduinojson +WORKDIR arduinojson COPY build.sh $SRC/ |