aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2019-01-30 22:54:08 -0800
committerJohn MacFarlane <jgm@berkeley.edu>2019-01-30 22:54:08 -0800
commitd7a13b4a587f56c4de7381ba556f994f6d85dba5 (patch)
tree9cf9dd1560ef8596bbeca70a1f1e9518607819da
parent13c1cb82b6c5299022f71acace8f7c4d6ea9b1b8 (diff)
downloadpandoc-d7a13b4a587f56c4de7381ba556f994f6d85dba5.tar.gz
linux/Dockerfile : use default -O1 instead of -O2.
-rw-r--r--linux/Dockerfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/linux/Dockerfile b/linux/Dockerfile
index 6abe5ec2e..6a91bde29 100644
--- a/linux/Dockerfile
+++ b/linux/Dockerfile
@@ -16,7 +16,7 @@ CMD cabal --version && \
git checkout -b work $TREE && \
cabal new-update && \
cabal new-clean && \
- cabal new-configure --enable-tests -f-export-dynamic -fstatic -fembed_data_files -fbibutils --ghc-options '-O2 -optc-Os -optl=-pthread -optl=-static -fPIC' . pandoc-citeproc && \
+ cabal new-configure --enable-tests -f-export-dynamic -fstatic -fembed_data_files -fbibutils --ghc-options '-optc-Os -optl=-pthread -optl=-static -fPIC' . pandoc-citeproc && \
cabal new-build . pandoc-citeproc && \
cabal new-test -j1 . pandoc-citeproc && \
for f in $(find dist-newstyle -name 'pandoc*' -type f -perm +400); do cp $f /artifacts/; done && \