diff --git a/deployment/generate-quality.sh b/deployment/generate-quality.sh index a9a5e27b..64e4d1f5 100755 --- a/deployment/generate-quality.sh +++ b/deployment/generate-quality.sh @@ -1,5 +1,5 @@ #!/bin/bash -set -e # Exit immediately if a command exits with a non-zero status +set -e echo Generate Quality root="$1" diff --git a/deployment/generate-terminology.sh b/deployment/generate-terminology.sh index 3812d8ac..df31cba8 100755 --- a/deployment/generate-terminology.sh +++ b/deployment/generate-terminology.sh @@ -1,5 +1,5 @@ #!/bin/bash -set -e # Exit immediately if a command exits with a non-zero status +set -e echo Generate terminology if [ "$#" -ne 1 ] ; then diff --git a/deployment/generate-tm.sh b/deployment/generate-tm.sh index f4add2ef..22f07633 100755 --- a/deployment/generate-tm.sh +++ b/deployment/generate-tm.sh @@ -29,7 +29,7 @@ copy_successfully_downloaded_files() { done } -set -e # Exit immediately if a command exits with a non-zero status +set -e echo Generate memories if [ "$#" -ne 2 ] ; then