diff --git a/Dockerfile b/Dockerfile index 82de4ccc03e100646bfed43af2a8799d4d0a286c..0bae30ef30f525839a469b77dfa3a578db9afcca 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,10 +1,10 @@ from openjdk:11-jdk-slim env MODOCOT_BASEDIR /modocot -env MODOCOT_TESTDIR /$MODOCOT_BASEDIR/test -env MODOCOT_SOURCEDIR /$MODOCOT_BASEDIR/src -env MODOCOT_RESULTDIR /$MODOCOT_BASEDIR/result -env MODOCOT_LIBSDIR /$MODOCOT_BASEDIR/libs +env MODOCOT_TESTDIR $MODOCOT_BASEDIR/test +env MODOCOT_SOURCEDIR $MODOCOT_BASEDIR/src +env MODOCOT_RESULTDIR $MODOCOT_BASEDIR/result +env MODOCOT_LIBSDIR $MODOCOT_BASEDIR/libs run mkdir -p $MODOCOT_TESTDIR \ && mkdir $MODOCOT_SOURCEDIR \