diff --git a/build.sh b/build.sh index 127c5a01c..827c40645 100755 --- 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/ }