diff --git a/dev-tools/generate-files.sh b/dev-tools/generate-files.sh index 597a3c891..10aa3d498 100755 --- a/dev-tools/generate-files.sh +++ b/dev-tools/generate-files.sh @@ -41,7 +41,7 @@ # SOFTWARE. # ------------------------------------------------------------------------------ -set -e +#set -e set -o pipefail export TERM=xterm