check_release.pl
changeset 3 c442ffe27e48
parent 2 1be9848b69b6
child 4 d1541211673e
--- a/check_release.pl	Sun Feb 06 13:31:48 2011 +0100
+++ b/check_release.pl	Sun Feb 06 15:38:11 2011 +0100
@@ -81,6 +81,10 @@
     }
     close(CR);
 
+	if ( (length $current_release == 3) && ($current_release =~ /0$/) ) {
+		$current_release = "$current_release.0";
+	}
+
     ### $current_release
 
     return $current_release;