diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-10-22 14:30:49 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-10-22 14:30:49 -0700 |
| commit | e720a44f68dd34a6e48bbd5358cae23eaa72a894 (patch) | |
| tree | 9914200283e906fa826bbc08a44cee8332b3d0bd /linux | |
| parent | 5a7a3f15d28e19c6c0f30817824a2b78ccc874e0 (diff) | |
| download | pandoc-e720a44f68dd34a6e48bbd5358cae23eaa72a894.tar.gz | |
Fixed bug in make_linux.sh path.
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/Dockerfile | 2 |
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 |