소스 검색

Fixed Workdir in Dockerfile.

Kristian Schultz 4 년 전
부모
커밋
2df2abecc8
2개의 변경된 파일2개의 추가작업 그리고 0개의 파일을 삭제
  1. 1 0
      Makefile
  2. 1 0
      docker/Dockerfile

+ 1 - 0
Makefile

@@ -1,3 +1,4 @@
+all: benchmark statistics
 
 benchmark: docker/container.ok
 	docker container run --rm -it -v `(pwd)`:/benchmark/data convganbenchmark python3 /benchmark/data/run_all_exercises.py

+ 1 - 0
docker/Dockerfile

@@ -10,4 +10,5 @@ COPY requirements.txt /benchmark/requirements.txt
 RUN pip install -r /benchmark/requirements.txt
 
 COPY run.sh /benchmark/run.sh
+WORKDIR /benchmark/data
 CMD /benchmark/run.sh