File tree 1 file changed +5
-1
lines changed
1 file changed +5
-1
lines changed Original file line number Diff line number Diff line change @@ -79,7 +79,9 @@ if [ -e ${exclusion_file} -o -e ${inclusion_file} -o -e ${force_inclusion_file}
79
79
inclusion_opts=$( get_section_opts ${inclusion_file} " common" ${ARCH} ${PLATFORM} )
80
80
while read -r opt; do
81
81
if [ ! -z " $opt " ] && [[ ! " $opt " =~ ^# .* ]]; then
82
- echo $opt >> ${CONFIG_FILE}
82
+ n= ${opt% =* }
83
+ v= " ${opt#* =} "
84
+ scripts/config --file ${CONFIG_FILE} -k --set-val " $n " " $v "
83
85
fi
84
86
done <<< ${inclusion_opts} ;
85
87
fi
@@ -113,6 +115,8 @@ if [ -e ${exclusion_file} -o -e ${inclusion_file} -o -e ${force_inclusion_file}
113
115
if [ ! -z " $opt " ] && [[ ! " $opt " =~ ^# .* ]]; then
114
116
n= ${opt% =* }
115
117
v= " ${opt#* =} "
118
+ v= " ${v/# \" / } "
119
+ v= " ${v/% \" / } "
116
120
s= $( scripts/config --file ${CONFIG_FILE} -k --state $n )
117
121
if [ ! " $s " = " $v " ]; then
118
122
ret=2
You can’t perform that action at this time.
0 commit comments