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_}151 if ! "$AWK" -v prefix="$CONFIG_PREFIX" \301 if ! "$AWK" -v prefix="$CONFIG_PREFIX" \