config.lib
changeset 7920 e9bf2ab2b8d0
parent 7902 cd82da0e7c9b
child 8060 0e36becca525
--- a/config.lib	Tue Aug 07 15:22:58 2007 +0000
+++ b/config.lib	Tue Aug 07 20:42:02 2007 +0000
@@ -308,11 +308,16 @@
 	# Check if all params have valid values
 
 	# Endian only allows AUTO, LE and, BE
-	if [ -z "`echo $endian | egrep '^(AUTO|LE|BE)$'`" ]; then
+	if [ -z "`echo $endian | egrep '^(AUTO|LE|BE|PREPROCESSOR)$'`" ]; then
 		echo "configure: error: invalid option --endian=$endian"
 		echo " Available options are: --endian=[AUTO|LE|BE]"
 		exit 1
 	fi
+	if [ "$endian" = "PREPROCESSOR" ] && [ "$os" != "OSX" ]; then
+		echo "configure: error: invalid option --endian=$endian"
+		echo " PREPROCESSOR is only available for OSX"
+		exit 1
+	fi
 	# OS only allows DETECT, UNIX, OSX, FREEBSD, OPENBSD, MORPHOS, BEOS, SUNOS, CYGWIN, MINGW, OS2, WINCE, and PSP
 	if [ -z "`echo $os | egrep '^(DETECT|UNIX|OSX|FREEBSD|OPENBSD|MORPHOS|BEOS|SUNOS|CYGWIN|MINGW|OS2|WINCE|PSP)$'`" ]; then
 		echo "configure: error: invalid option --os=$os"