From 4d9eb8830b41ce1707702dee4d826e98cc5fe374 Mon Sep 17 00:00:00 2001 From: deajan Date: Mon, 28 May 2018 08:28:01 +0200 Subject: [PATCH] Fixed missing usage --- dev/merge.sh | 1 + 1 file changed, 1 insertion(+) 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