diff options
| -rwxr-xr-x | scripts/generate_batch_reports.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/generate_batch_reports.sh b/scripts/generate_batch_reports.sh index c427e2bd8d2..00bcaf57b02 100755 --- a/scripts/generate_batch_reports.sh +++ b/scripts/generate_batch_reports.sh @@ -49,7 +49,7 @@ function showHelp() { } function checkOptions() { - if [ "$DUMP_DIR" = "" ]; then + if [[ -z "$DUMP_DIR" ]]; then >&2 echo "-d option is mandatory" showHelp exit 1 |