From 36a21ee81906edf6a5716e533f5a96ae66e1e76d Mon Sep 17 00:00:00 2001
From: Nils Wentzell <nwentzell@flatironinstitute.org>
Date: Wed, 28 Aug 2019 11:11:49 -0400
Subject: [PATCH] [jenkins] Change permissions for application sources in
 Dockerfile

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index c65c6760..d9c870f4 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -7,7 +7,7 @@ RUN pip install -r /src/$APPNAME/requirements.txt
 
 COPY . $SRC/$APPNAME
 WORKDIR $BUILD/$APPNAME
-RUN chown build .
+RUN chown -R build $SRC/$APPNAME .
 USER build
 ARG BUILD_DOC=0
 RUN cmake $SRC/$APPNAME -DTRIQS_ROOT=${INSTALL} -DBuild_Documentation=${BUILD_DOC} && make -j2 && make test CTEST_OUTPUT_ON_FAILURE=1