From 892e524c09fb780a28c81d860205760ebbf135bc Mon Sep 17 00:00:00 2001 From: Mike Aizatsky Date: Mon, 13 Mar 2017 17:40:57 -0700 Subject: [PATCH] [infra] workdir matches project name --- projects/arduinojson/Dockerfile | 4 ++-- 1 file 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/