mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 18:50:05 +01:00
buildconfig: Fix setopt in case where option is already set but to the wrong value
Signed-off-by: Alex Zeffertt <alex.zeffertt@eu.citrix.com>
This commit is contained in:
Keir Fraser committed
1 parent
edf9a6a284
commit
b39bfe9930
1 file changed
+1
-1
@@ -15,7 +15,7 @@ setopt()
|
||||
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
|
||||
|
||||