Support -r

diff --git a/tools/release.sh b/tools/release.sh
index 99cad571915775f823708567aaed29839dc3a3ef..caff5d72cb769b40e5dbd2452aceea6aef1a5159 100755 (executable)
--- 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
        \?)