Merge pull request #2104 from GaloisInc/2103-fix-list-bin

Use -v0 with cabal list-bin in build.sh.
GaloisInc · Aug 23, 2024 · 01ee3e0 · 01ee3e0
2 parents 4ea7d99 + fc37ae7
commit 01ee3e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.sh b/build.sh
@@ -6,7 +6,7 @@ set -e
 git submodule update --init
 
 install() {
-  PROG=$(cabal list-bin exe:$1)
+  PROG=$(cabal list-bin -v0 exe:$1)
   cp $PROG bin/
 }