Fixed bug in make_linux.sh path.
commite720a44f68dd34a6e48bbd5358cae23eaa72a894
authorJohn MacFarlane <jgm@berkeley.edu>
dateSun 22 Oct 2017, 14:30 (9 years ago)
parent5a7a3f1
linux/Dockerfile+1−1
@@ -16,4 +16,4 @@ RUN stack install --stack-yaml stack.pkg.yaml --only-dependencies \
1616 pandoc pandoc-citeproc
1717CMD git pull && \
1818 git checkout -b work $TREE && \
19− ARTIFACTS=/artifacts sh make_linux.sh
19+ ARTIFACTS=/artifacts sh linux/make_linux.sh