Searched refs:CONFIG_PREFIX (Results 1 – 10 of 10) sorted by relevance
38 echo "Used prefix: '$CONFIG_PREFIX'. You can redefine it with \$CONFIG_46 CONFIG_PREFIX=${CONFIG_-CONFIG_}112 SED_CONFIG_EXP1="s/^\(${CONFIG_PREFIX}[a-zA-Z0-9_]*\)=.*/\1/p"113 SED_CONFIG_EXP2="s/^# \(${CONFIG_PREFIX}[a-zA-Z0-9_]*\) is not set$/\1/p"
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"
10 + echo "Used prefix: '$CONFIG_PREFIX'. You can redefine it with \$CONFIG_18 +CONFIG_PREFIX=${CONFIG_-CONFIG_}27 +SED_CONFIG_EXP="s/^\(# \)\{0,1\}\(${CONFIG_PREFIX}[a-zA-Z0-9_]*\)[= ].*/\2/p"
9 -SED_CONFIG_EXP="s/^\(# \)\{0,1\}\(${CONFIG_PREFIX}[a-zA-Z0-9_]*\)[= ].*/\2/p"10 +SED_CONFIG_EXP1="s/^\(${CONFIG_PREFIX}[a-zA-Z0-9_]*\)=.*/\1/p"11 +SED_CONFIG_EXP2="s/^# \(${CONFIG_PREFIX}[a-zA-Z0-9_]*\) is not set$/\1/p"
31 +. "#CONFIG_PREFIX#/ufw/ufw.conf"
108 CONFIG_PREFIX="$(TARGET_DIR)" \
69 CONFIG_PREFIX="./_install"
67 CONFIG_PREFIX="./_install"