From ca60c6b7d9b12c77155133d16a13f684a4e29145 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Fritze?= <rene.fritze@wwu.de>
Date: Thu, 18 Jul 2019 12:08:12 +0200
Subject: [PATCH] [super_docker] debug working dir

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

diff --git a/docker/super_docker/Dockerfile b/docker/super_docker/Dockerfile
index cef9ad5..d30e924 100644
--- a/docker/super_docker/Dockerfile
+++ b/docker/super_docker/Dockerfile
@@ -12,7 +12,7 @@ RUN chown dune-ci -R ${SUPERDIR}
 USER dune-ci
 
 # run our local scripts look for an OPTS env entry
-RUN ./bin/download_external_libraries.py 1> /dev/null && \
+RUN cd ${SUPERDIR} && ls -l && ./bin/download_external_libraries.py 1> /dev/null && \
     ./bin/build_external_libraries.py 1> /dev/null && \
     . environments/${DXT_ENVIRONMENT}/PATH.sh && \
     ${SRC_DCTRL} ${BLD} all
-- 
GitLab