diff options
Diffstat (limited to 'scripts/run-tool.sh')
| -rwxr-xr-x | scripts/run-tool.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/run-tool.sh b/scripts/run-tool.sh index a87c762..c764626 100755 --- a/scripts/run-tool.sh +++ b/scripts/run-tool.sh @@ -21,6 +21,9 @@ parse_argv() { if [[ "$tool_name" == *.sh ]]; then tool_name="${tool_name:0:$((${#tool_name}-3))}" fi + if [[ -z "$tool_data" ]] || [[ -z "$tool_name" ]]; then + die "usage: ./run-tool.sh <tool-name> <tool-data>" + fi } setup_env() { |