diff options
Diffstat (limited to 'linux/Dockerfile')
| -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 |