From 03012d06b7836f40fcfa1f26c4da28f410fcc900 Mon Sep 17 00:00:00 2001 From: Steffen Vogel Date: Sat, 17 Jun 2017 00:59:29 +0200 Subject: [PATCH] docker: don't use $(PWD) to get path of Git repo (#96) --- packaging/Makefile.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packaging/Makefile.inc b/packaging/Makefile.inc index ea908f619..c52132ce9 100644 --- a/packaging/Makefile.inc +++ b/packaging/Makefile.inc @@ -55,7 +55,7 @@ deploy-docker deploy-docker-dev: # Docker targets run-docker-dev: docker-dev - docker run -it -p 80:80 -p 443:443 -p 1234:1234 -p 12000:12000/udp -p 12001:12001/udp --privileged --security-opt seccomp:unconfined -v "$(PWD):/villas" $(DOCKER_IMAGE)-dev:$(GIT_BRANCH) + docker run -it -p 80:80 -p 443:443 -p 1234:1234 -p 12000:12000/udp -p 12001:12001/udp --privileged --security-opt seccomp:unconfined -v "$(SRCDIR):/villas" $(DOCKER_IMAGE)-dev:$(GIT_BRANCH) docker-dev: docker pull fedora:25