# HG changeset patch # User truelight # Date 1171911508 0 # Node ID 3148f3835e18639ea9f9cf54009369e9186e5662 # Parent d9fc487d06fde87129151295386122bc222b1aed (svn r8813) -Fix r8812: fixed one GNU depending grep statement with an other ;) Switched to egrep, which should work just fine. diff -r d9fc487d06fd -r 3148f3835e18 config.lib --- a/config.lib Mon Feb 19 18:47:55 2007 +0000 +++ b/config.lib Mon Feb 19 18:58:28 2007 +0000 @@ -291,13 +291,13 @@ # Check if all params have valid values # Endian only allows AUTO, LE and, BE - if [ -z "`echo $endian | grep '^AUTO$\|^LE$\|^BE$'`" ]; then + if [ -z "`echo $endian | egrep '^(AUTO|LE|BE)$'`" ]; then echo "configure: error: invalid option --endian=$endian" echo " Available options are: --endian=[AUTO|LE|BE]" exit 1 fi # OS only allows DETECT, UNIX, OSX, FREEBSD, MORPHOS, BEOS, SUNOS, CYGWIN, MINGW, OS2, WINCE, and PSP - if [ -z "`echo $os | grep '^DETECT$\|^UNIX$\|^OSX$\|^FREEBSD$\|^MORPHOS$\|^BEOS$\|^SUNOS$\|^CYGWIN$\|^MINGW$\|^OS2$\|^WINCE$\|^PSP$'`" ]; then + if [ -z "`echo $os | egrep '^(DETECT|UNIX|OSX|FREEBSD|MORPHOS|BEOS|SUNOS|CYGWIN|MINGW|OS2|WINCE|PSP)$'`" ]; then echo "configure: error: invalid option --os=$os" echo " Available options are: --os=[DETECT|UNIX|OSX|FREEBSD|MORPHOS|BEOS|SUNOS|CYGWIN|MINGW|OS2|WINCE|PSP]" exit 1