Home
last modified time | relevance | path

Searched refs:CONFIG_PREFIX (Results 1 – 1 of 1) sorted by relevance

/linux-6.12.1/scripts/kconfig/
Dmerge_config.sh34 echo "Used prefix: '$CONFIG_PREFIX'. You can redefine it with \$CONFIG_ environment variable."
43 CONFIG_PREFIX=${CONFIG_-CONFIG_}
120 SED_CONFIG_EXP1="s/^\(${CONFIG_PREFIX}[a-zA-Z0-9_]*\)=.*/\1/p"
121 SED_CONFIG_EXP2="s/^# \(${CONFIG_PREFIX}[a-zA-Z0-9_]*\) is not set$/\1/p"