diff --git a/tools/release.sh b/tools/release.sh index 5962517b5..2c20ba6c6 100755 --- a/tools/release.sh +++ b/tools/release.sh @@ -68,7 +68,7 @@ HDEMU=0 COPY=0 CVSTAG=HEAD -while getopts "rch?" c +while getopts "r:ch?" c do case "$c" in \?) @@ -90,6 +90,8 @@ do esac done +echo "CVS tag: $OPTARG" + ISO=${ISO}.iso ISOGZ=${ISO}.gz echo "Making $ISOGZ"