From 104b3bacda20edd4c283e0097c24b007aeacbf55 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Thu, 31 Aug 2023 12:45:14 -0700 Subject: [PATCH] Add cabal update and clean to make_artifacts.sh. --- linux/make_artifacts.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index 6d3c4895444a..15718aa22fc9 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -1,6 +1,8 @@ #!/bin/bash set -e +cabal update +cabal clean cabal build $CABALOPTS --ghc-options="$GHCOPTS" pandoc-cli BINPATH=$(cabal list-bin $CABALOPTS --ghc-options="$GHCOPTS" pandoc-cli) echo "Built executable: $BINPATH"