diff --git a/dev/merge.sh b/dev/merge.sh index 13a5afc..9b935d9 100755 --- a/dev/merge.sh +++ b/dev/merge.sh @@ -195,6 +195,7 @@ if [ "$(basename $0)" == "merge.sh" ]; then __PREPROCESSOR_CopyCommons pmocr else echo "No valid program given." + Usage exit 1 fi fi