From 650684fcbfeda4d29e65899c8ba053ce14e7de15 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 25 Jan 2005 12:28:39 +0000
Subject: sed ne connait pas '+' sur macosx

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6636 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/configure.distrib | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/distrib/configure.distrib b/distrib/configure.distrib
index bc7ff74e92..345148ff79 100755
--- a/distrib/configure.distrib
+++ b/distrib/configure.distrib
@@ -31,11 +31,11 @@ case $ANSWER in
 esac
 
 # The main number of the release
-MAINNUMBER=`echo $VERSION | sed -e 's/^\([0-9]\+*\)\.[0-9]\+.*$/\1/'`
+MAINNUMBER=`echo $VERSION | sed -e 's/^\([0-9][0-9]*\)\.[0-9][0-9]*.*$/\1/'`
 # The minor number
-LASTNUMBER=`echo $VERSION | sed -e 's/^[0-9]\+\.\([0-9]\+\).*$/\1/'`
+LASTNUMBER=`echo $VERSION | sed -e 's/^[0-9][0-9]*\.\([0-9][0-9]*\).*$/\1/'`
 # The release level: alpha, beta, etc.
-LEVEL=`echo $VERSION | sed -e 's/^[0-9]\+\.[0-9]\+\(.*\)$/\1/'`
+LEVEL=`echo $VERSION | sed -e 's/^[0-9][0-9]*\.[0-9][0-9]*\(.*\)$/\1/'`
 
 MAJORVERSION=V$MAINNUMBER
 CVSMODULE=V7
-- 
cgit v1.2.3