version.pl: don't add an extra .00 for subminor if we don't need it

When producing the mangled version number, don't add a subminor if
there isn't a patch level or release candidate number.  Thus, 2.05p1
is 2.05.00.01, but 2.05 can just be 2.05.

Signed-off-by: H. Peter Anvin <hpa@zytor.com>

diff --git a/version.pl b/version.pl
index 008460b..9ef6d56 100755 (executable)
--- a/version.pl
+++ b/version.pl
@@ -86,7 +86,8 @@ if ($is_rc) {
 
 $nasm_id = ($nmaj << 24)+($nmin << 16)+($nsmin << 8)+$nplvl;
 
-$mangled_ver = sprintf("%d.%02d.%02d", $nmaj, $nmin, $nsmin);
+$mangled_ver = sprintf("%d.%02d", $nmaj, $nmin);
+$mangled_ver .= sprintf(".%02d", $nsmin) if ($nsmin || $nplvl);
 $mangled_ver .= '.'.$nplvl if ($nplvl != 0);
 ($mtail = $tail) =~ tr/-/./;
 $mangled_ver .= $mtail;