Searched refs:base_config (Results 1 – 1 of 1) sorted by relevance
904 base_config=$1906 if [ "$base_config" != "default" ]; then907 scripts/config.py "$base_config"