diff --git a/src/install-dhall.sh b/src/install-dhall.sh index a45dddb..e9d7a79 100755 --- a/src/install-dhall.sh +++ b/src/install-dhall.sh @@ -1,5 +1,7 @@ #!/bin/sh +set -eu + echo "Downloading dhall from: $1" wget --quiet $1