Commit ff3640e7e9e76565d9d99b82dd4222fce92ca073

Authored by Antonio Terceiro
1 parent e2631484

Actually support the short version of the options

Showing 1 changed file with 3 additions and 3 deletions   Show diff stats
script/git-upgrade
@@ -74,13 +74,13 @@ upgrade_database(){ @@ -74,13 +74,13 @@ upgrade_database(){
74 shell=no 74 shell=no
75 while test $# -gt 0; do 75 while test $# -gt 0; do
76 case "$1" in 76 case "$1" in
77 - --shell) 77 + -s|--shell)
78 shell=yes 78 shell=yes
79 ;; 79 ;;
80 - --help) 80 + -h|--help)
81 usage 0 81 usage 0
82 ;; 82 ;;
83 - --version) 83 + -v|--version)
84 version 84 version
85 ;; 85 ;;
86 *) 86 *)