diff options
Diffstat (limited to 'scripts/tree.sh')
| -rw-r--r-- | scripts/tree.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/tree.sh b/scripts/tree.sh index 15ae6991..204f1c1b 100644 --- a/scripts/tree.sh +++ b/scripts/tree.sh @@ -1,5 +1,10 @@ set -e +if [ "$#" != 4 ] ; then + echo 'usage: commit.sh repo tag index out' >&2 + exit 2 +fi + repo=$1 tag=$2 index=$3 |