Searched refs:CONFIG_PREFIX (Results 1 – 1 of 1) sorted by relevance
34 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"