Fix CI for 32bit build

This commit is contained in:
Julian Ospald 2020-07-08 00:08:18 +02:00
parent 4febf7f18d
commit 4607de2589
No known key found for this signature in database
GPG Key ID: 511B62C09D50CD28
1 changed files with 1 additions and 0 deletions

View File

@ -18,6 +18,7 @@ ecabal update
if [ "${OS}" = "LINUX" ] ; then
if [ "${BIT}" = "32" ] ; then
ecabal build -w ghc-${GHC_VERSION} --ghc-options='-split-sections -optl-static'
rm -r 3rdparty/libarchive
else
ecabal build -w ghc-${GHC_VERSION} --ghc-options='-split-sections -optl-static' -ftui
fi