diff --git a/Configure b/Configure index f187b59c74ea..132d32d4c1d0 100755 --- a/Configure +++ b/Configure @@ -7119,9 +7119,9 @@ case "$osname" in dos|vms) : XXX Should be a Configure test for double-dots in filenames. version=`echo $patchlevel $subversion | \ - $awk '{ printf "%d_%d", $1, $2 }'` + $awk '{ printf "%d_%03d", $1, $2 }'` api_versionstring=`echo $api_version $api_subversion | \ - $awk '{ printf "%d_%d", $1, $2 }'` + $awk '{ printf "%d_%03d", $1, $2 }'` ;; *) version=`echo $patchlevel $subversion | \