*** empty log message ***

diff --git a/tools/release.sh b/tools/release.sh
index 991194252fa06bbee54a290568bcb1fb2118f71c..c507746eb2564d51e280308cbea665786d07f9c1 100755 (executable)
--- 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,7 +90,7 @@ do
        esac
 done
 
-ISO=${ISO}.iso
+ISO=${ISO}_${CVSTAG}.iso
 ISOGZ=${ISO}.gz
 echo "Making $ISOGZ"