X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=m4%2Fversion.m4;h=2df93aeb8ab5eeb8968c2b5eb68cd9b70576c158;hb=fa8651a5a680d2f25e03d6df5fd275e70d5cc696;hp=ba7c0e4622b2dde66a0dc0b47c058b7086122d04;hpb=13890b4c93039ed474cf4bf9aa87ae0853b591be;p=cacao.git

diff --git a/m4/version.m4 b/m4/version.m4
index ba7c0e462..2df93aeb8 100644
--- a/m4/version.m4
+++ b/m4/version.m4
@@ -29,7 +29,7 @@ if test x`echo "$version" | $SED -e 's/[[0-9a-z+]]*//g'` = "x..";
 then
     major=`echo "$version" | $SED -e 's/\.[[0-9a-z.+]]*$//'`
     minor=`echo "$version" | $SED -e 's/^[[0-9]]*\.//' -e 's/\.[[0-9a-z.+]]*$//'`
-    micro=`echo "$version" | $SED -e 's/^[[0-9]]*\.[[0-9]]*\.//' -e 's/[[a-z.+]]*$//'`
+    micro=`echo "$version" | $SED -r -e 's/^[[0-9]]*\.[[0-9]]*\.([[0-9]]*).*/\1/'`
     extra=`echo "$version" | $SED -e 's/^[[0-9]]*\.[[0-9]]*\.[[0-9]]*//'`
 else
     major=`echo "$version" | $SED -e 's/\.[[0-9a-z.+]]*$//'`