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