From ff3640e7e9e76565d9d99b82dd4222fce92ca073 Mon Sep 17 00:00:00 2001 From: Antonio Terceiro Date: Fri, 4 Dec 2009 17:34:43 -0300 Subject: [PATCH] Actually support the short version of the options --- script/git-upgrade | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/script/git-upgrade b/script/git-upgrade index 269ea7d..626de14 100755 --- a/script/git-upgrade +++ b/script/git-upgrade @@ -74,13 +74,13 @@ upgrade_database(){ shell=no while test $# -gt 0; do case "$1" in - --shell) + -s|--shell) shell=yes ;; - --help) + -h|--help) usage 0 ;; - --version) + -v|--version) version ;; *) -- libgit2 0.21.2