diff options
| author | John MacFarlane <[email protected]> | 2023-03-12 12:25:22 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-03-12 12:25:22 -0700 |
| commit | 5033687724bad11cac7b22b8346bcaa635819725 (patch) | |
| tree | 8b1cdec0ef31bf0d32f20edf7635cc19daf057c4 /.cirrus.yml | |
| parent | fcb8f070773200dedfa97384f6c6a8b6a5ad6128 (diff) | |
More cirrus tweaks.
Ensure that the binary is built again even if it exists in the cache.
Diffstat (limited to '.cirrus.yml')
| -rw-r--r-- | .cirrus.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index 468f4976b..de0ed565d 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -33,7 +33,7 @@ task: fingerprint_key: linux_arm64_2023_03_11 build_script: - cabal update - - cabal install -f-export-dynamic -fembed_data_files -fserver -flua --enable-executable-static -j4 --ghc-options="-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread" pandoc-cli --install-method=copy --overwrite-policy=always --installdir=. + - cabal install --reinstall -f-export-dynamic -fembed_data_files -fserver -flua --enable-executable-static -j4 --ghc-options="-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread" pandoc-cli --install-method=copy --overwrite-policy=always --installdir=. upload_caches: - cabal_store package_script: |