configure
changeset 3302 d02733d7cc59
parent 3221 ef81bf83703b
child 3305 cfeaa8e862e4
--- a/configure	Thu Mar 23 06:30:39 2006 +0000
+++ b/configure	Thu Mar 23 13:24:09 2006 +0000
@@ -12,6 +12,7 @@
 	echo "Params:"
 	echo " --debug            Create debug-release                [no]"
 	echo " --profile          Create profile-release              [no]"
+	echo " --dedicated        Make a dedicated build              [no]"
 	echo " --revision         Set the revision of the compilation [detected]"
 	echo " --target-cc        Sets the target-compiler            [\$CC]"
 	echo " --target-cxx       Sets the C++ target-compiler        []"
@@ -66,6 +67,9 @@
 		--profile)
 			PARAM="$PARAM PROFILE=1"
 			;;
+		--dedicated)
+			PARAM="$PARAM DEDICATED=1"
+			;;
 		--revision=*)
 			RELEASE=`awk 'BEGIN { FS="="; $0="'$n'"; print $2;}'`
 			;;