From d7a13b4a587f56c4de7381ba556f994f6d85dba5 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 30 Jan 2019 22:54:08 -0800
Subject: linux/Dockerfile : use default -O1 instead of -O2.

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

(limited to 'linux')

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