diff options
Diffstat (limited to 'static-linux/Dockerfile')
| -rw-r--r-- | static-linux/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/static-linux/Dockerfile b/static-linux/Dockerfile index 7c66f2029..cf44d9472 100644 --- a/static-linux/Dockerfile +++ b/static-linux/Dockerfile @@ -20,6 +20,7 @@ RUN stack install --stack-yaml stack.pkg.yaml --only-dependencies \ --test --ghc-options '-O2 -optc-Os -optl-static -fPIC' \ pandoc pandoc-citeproc CMD git pull && \ + git checkout -b work $TREE && \ export VERSION=`grep '^Version:' pandoc.cabal | awk '{print $$2;}'` && \ stack install --stack-yaml stack.pkg.yaml \ --local-bin-path /artifacts --flag 'pandoc:embed_data_files' \ |