File tree Expand file tree Collapse file tree 1 file changed +5
-1
lines changed
Expand file tree Collapse file tree 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}
7979 inclusion_opts=$( get_section_opts ${inclusion_file} " common" ${ARCH} ${PLATFORM} )
8080 while read -r opt; do
8181 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 "
8385 fi
8486 done <<< ${inclusion_opts} ;
8587 fi
@@ -113,6 +115,8 @@ if [ -e ${exclusion_file} -o -e ${inclusion_file} -o -e ${force_inclusion_file}
113115 if [ ! -z " $opt " ] && [[ ! " $opt " =~ ^# .* ]]; then
114116 n= ${opt% =* }
115117 v= " ${opt#* =} "
118+ v= " ${v/# \" / } "
119+ v= " ${v/% \" / } "
116120 s= $( scripts/config --file ${CONFIG_FILE} -k --state $n )
117121 if [ ! " $s " = " $v " ]; then
118122 ret=2
You can’t perform that action at this time.
0 commit comments