diff --git a/dev-tools/generate-files.sh b/dev-tools/generate-files.sh index 05c9bdcca..2a1809adf 100755 --- a/dev-tools/generate-files.sh +++ b/dev-tools/generate-files.sh @@ -41,10 +41,13 @@ # SOFTWARE. # ------------------------------------------------------------------------------ +set -e +set -o pipefail +TERM=xterm + # ------------------------ # Set Terminal Font Colors # ------------------------ - bold=$(tput bold) red=$(tput setaf 1) green=$(tput setaf 2)