diff --git a/tools/release.sh b/tools/release.sh index 07601f339..5962517b5 100755 --- a/tools/release.sh +++ b/tools/release.sh @@ -68,7 +68,7 @@ HDEMU=0 COPY=0 CVSTAG=HEAD -while getopts "ch?" c +while getopts "rch?" c do case "$c" in \?)