Release script includes version number and timestamp in iso filename..

diff --git a/tools/release.sh b/tools/release.sh
index 14897a2df649aec2064ee80ef4fde722d61efd63..c810e1fcdbe9ff7ba5dd3f8be42c85d40e807245 100755 (executable)
--- a/tools/release.sh
+++ b/tools/release.sh
@@ -60,7 +60,7 @@ CDFILES=/usr/tmp/cdreleasefiles
 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}.iso
+ISO=minix${version}_`date +%Y%m%d-%H%M%S`.iso
 ISOGZ=${ISO}.gz
 echo $ISOGZ
 RAM=/dev/ram