diff options
Diffstat (limited to 'config.lib')
| -rw-r--r-- | config.lib | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config.lib b/config.lib index 80c8231bd..2276baff3 100644 --- a/config.lib +++ b/config.lib @@ -291,13 +291,13 @@ check_params() { # 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 |