diff --git a/scripts/save_current_mos.sh b/scripts/save_current_mos.sh index 3a0d7e56..f9d7806f 100755 --- a/scripts/save_current_mos.sh +++ b/scripts/save_current_mos.sh @@ -4,8 +4,6 @@ # directory, where xxx is the corresponding mo_label. # Wed Apr 2 14:35:15 CEST 2014 -set -u # Crashes if a variable is uninitialized -set -e # Exits if any statement returns a non-true return value if [[ -z ${QP_ROOT} ]] then