diff -r 4ac662c79ad3 -r d02733d7cc59 configure --- 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;}'` ;;