Fix setopt in case where option is already set but to the wrong value

Signed-off-by: Alex Zeffertt <alex.zeffertt@xxxxxxxxxxxxx>


diff -r 3903d95733f7 buildconfigs/enable-xen-config
--- a/buildconfigs/enable-xen-config	Fri Jun 11 14:04:36 2010 +0100
+++ b/buildconfigs/enable-xen-config	Mon Jun 14 19:00:25 2010 +0100
@@ -15,7 +15,7 @@
 	VALUE=$2
 
 	# First remove any existing instances of this option
-	sed -e "s/^# ${OPTION} is not set$//g ; s/^^{OPTION}=.$//g" -i "${CONFIG}"
+	sed -e "s/^# ${OPTION} is not set$//g ; s/^${OPTION}=.*$//g" -i "${CONFIG}"
 
 	# Then append the new value
 	case ${VALUE} in