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;