summaryrefslogtreecommitdiff
path: root/linux
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2017-10-22 14:30:49 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2017-10-22 14:30:49 -0700
commite720a44f68dd34a6e48bbd5358cae23eaa72a894 (patch)
tree9914200283e906fa826bbc08a44cee8332b3d0bd /linux
parent5a7a3f15d28e19c6c0f30817824a2b78ccc874e0 (diff)
Fixed bug in make_linux.sh path.
Diffstat (limited to 'linux')
-rw-r--r--linux/Dockerfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/linux/Dockerfile b/linux/Dockerfile
index 075fd26c8..40e229705 100644
--- a/linux/Dockerfile
+++ b/linux/Dockerfile
@@ -16,4 +16,4 @@ RUN stack install --stack-yaml stack.pkg.yaml --only-dependencies \
pandoc pandoc-citeproc
CMD git pull && \
git checkout -b work $TREE && \
- ARTIFACTS=/artifacts sh make_linux.sh
+ ARTIFACTS=/artifacts sh linux/make_linux.sh