--- configure.old	2003-02-21 13:14:35.000000000 +0100
+++ configure	2003-02-21 13:15:59.000000000 +0100
@@ -162,7 +162,7 @@
 
 if [ -x "$OO_SDK_MAKE_HOME/make" -a -f "$OO_SDK_MAKE_HOME/make" ]
 then
-    makeversion=`$OO_SDK_MAKE_HOME/make --version 2> /dev/null | egrep "GNU Make version" | head -1 | sed -e 's#.*GNU Make version ##' | sed -e 's#,.*##'`
+    makeversion=`$OO_SDK_MAKE_HOME/make --version 2> /dev/null | egrep "GNU Make[^0-9]*" | head -1 | sed -e 's#.*GNU Make[^0-9]*##' | sed -e 's#,.*##'`
     if [ "$makeversion" = "" ]
     then
         echo "The 'make' command found at $OO_SDK_MAKE_HOME/make is not GNU Make"