From e720a44f68dd34a6e48bbd5358cae23eaa72a894 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 22 Oct 2017 14:30:49 -0700
Subject: Fixed bug in make_linux.sh path.

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

(limited to 'linux')

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
-- 
cgit v1.2.3