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