Searched refs:CONFIG_PREFIX (Results 1 – 2 of 2) sorted by relevance
32 echo "Used prefix: '$CONFIG_PREFIX'. You can redefine it with \$CONFIG_ environment variable."40 CONFIG_PREFIX=${CONFIG_-CONFIG_}106 SED_CONFIG_EXP1="s/^\(${CONFIG_PREFIX}[a-zA-Z0-9_]*\)=.*/\1/p"107 SED_CONFIG_EXP2="s/^#\s*\(${CONFIG_PREFIX}[a-zA-Z0-9_]*\)\s*is\s*not\s*set\r*$/\1/p"
39213 +#define CONFIG_PREFIX "media"41326 + ret = configs_set_prefix_path_valonpath(CONFIG_PREFIX, buf);