diff --git a/CI/ci-mac.sh b/CI/ci-mac.sh index fc9b5ea8..caefdeb6 100755 --- a/CI/ci-mac.sh +++ b/CI/ci-mac.sh @@ -1,5 +1,8 @@ #!/bin/bash +#Exit on any error +set -e + LANGUAGE=$1 PATH=$PATH:/opt/local/bin