##// END OF EJS Templates
finally
Unknown -
r682:5c28bdd8c2ea
parent child
Show More
@@ -101,7 +101,7 set_kernel_config() {
101 # flag as $1, value to set as $2, config must exist at "./.config"
101 # flag as $1, value to set as $2, config must exist at "./.config"
102 TGT="CONFIG_${1#CONFIG_}"
102 TGT="CONFIG_${1#CONFIG_}"
103 REP="${2}"
103 REP="${2}"
104 if grep -q "^${TGT}[^_]" .config; then
104 if [ grep -q "^${TGT}[^_]" .config ] ; then
105 sed -i "s/^\(${TGT}=.*\|# ${TGT} is not set\)/${TGT}=${REP}/" .config
105 sed -i "s/^\(${TGT}=.*\|# ${TGT} is not set\)/${TGT}=${REP}/" .config
106 else
106 else
107 echo "${TGT}"="${2}" >> .config
107 echo "${TGT}"="${2}" >> .config
General Comments 0
Vous devez vous connecter pour laisser un commentaire. Se connecter maintenant