.iso.gz name notice

diff --git a/tools/release.sh b/tools/release.sh
index 23e035b57a8bf43f8447a7da1b1bbb312abd2643..df48dd5456d10d5b3f9746ed6779da214dad3ff4 100755 (executable)
--- a/tools/release.sh
+++ b/tools/release.sh
@@ -61,7 +61,6 @@ sh tell_config OS_RELEASE . OS_VERSION >/tmp/rel.$$
 version_pretty=`sed 's/["      ]//g;/^$/d' </tmp/rel.$$`
 version=`sed 's/["      ]//g;/^$/d' </tmp/rel.$$ | tr . _`
 ISO=minix${version}_`date +%Y%m%d-%H%M%S`
-echo $ISOGZ
 RAM=/dev/ram
 BS=4096
 
@@ -89,6 +88,7 @@ done
 
 ISO=${ISO}.iso
 ISOGZ=${ISO}.gz
+echo "Making $ISOGZ"
 
 USRMB=400