From 7fa4d367bb2d083ea865e22b4439b321cfbc3011 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 18 Nov 2020 19:02:04 -0800
Subject: [PATCH] Re-add -optc-Os to static linux build, because it makes
 binary smaller.

---
 linux/make_artifacts.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh
index f0840b77f..34c0bd082 100644
--- a/linux/make_artifacts.sh
+++ b/linux/make_artifacts.sh
@@ -16,7 +16,7 @@ ghc --version
 
 cabal v2-update
 cabal v2-clean
-cabal v2-configure --enable-tests -f-export-dynamic -fembed_data_files --enable-executable-static pandoc
+cabal v2-configure --enable-tests -f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-optc-Os -optl=-pthread' pandoc
 cabal v2-build
 cabal v2-test -j1
 for f in $(find dist-newstyle -name 'pandoc' -type f -perm /400); do cp $f /artifacts/; done