Enable "set -euo pipefail" in all bash scripts.

This enables "set -e", "set -u", and "set -o pipefail", which catch common errors.
2018-02-27 15:32:21 -08:00
parent 6a962e8b2c
commit d394ae0902
5 changed files with 6 additions and 9 deletions
--- a/cranelift/publish-all.sh
+++ b/cranelift/publish-all.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-set -e
+set -euo pipefail
 cd $(dirname "$0")
 topdir=$(pwd)