Searched refs:CONFIG_PREFIX (Results 1 – 1 of 1) sorted by relevance
33 echo "Used prefix: '$CONFIG_PREFIX'. You can redefine it with \$CONFIG_ environment variable."42 CONFIG_PREFIX=${CONFIG_-CONFIG_}113 SED_CONFIG_EXP1="s/^\(${CONFIG_PREFIX}[a-zA-Z0-9_]*\)=.*/\1/p"114 SED_CONFIG_EXP2="s/^# \(${CONFIG_PREFIX}[a-zA-Z0-9_]*\) is not set$/\1/p"
Completed in 4 milliseconds