diff options
| -rw-r--r-- | config.lib | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/config.lib b/config.lib index 82f01a1ad..5a1c997c9 100644 --- a/config.lib +++ b/config.lib @@ -283,21 +283,21 @@ check_params() { # Check if all params have valid values # Endian only allows AUTO, LE and, BE - if ! echo $endian | grep -q "^AUTO$\|^LE$\|^BE$" + if ! echo $endian | grep -Eq "^(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, and MINGW, OS2 - if ! echo $os | grep -q "^DETECT$\|^UNIX$\|^OSX$\|^FREEBSD$\|^MORPHOS$\|^BEOS$\|^SUNOS$\|^CYGWIN$\|^MINGW$\|^OS2" + if ! echo $os | grep -Eq "^(DETECT|UNIX|OSX|FREEBSD|MORPHOS|BEOS|SUNOS|CYGWIN|MINGW|OS2)$" then echo "configure: error: invalid option --os=$os" echo " Available options are: --os=[DETECT|UNIX|OSX|FREEBSD|MORPHOS|BEOS|SUNOS|CYGWIN|MINGW|OS2]" exit 1 fi # enable_debug should be between 0 and 4 - if ! echo $enable_debug | grep -q "^0$\|^1$\|^2$\|^3$" + if ! echo $enable_debug | grep -q "^[0123]$" then echo "configure: error: invalid option --enable-debug=$enable_debug" echo " Available options are: --enable-debug[=0123]" |