Lines Matching refs:config
25 local config
53 echo >&2 " $config"
158 config="" # --machine-type=$config
184 config="${1##--machine-type=}"
185 if ! contains_element "$config" "${ALL_CONFIGS[@]}"; then
186 log_usage_error "Invalid --machine-type value '$config'"
222 if [[ -z $config ]]; then
227 tarball="${tarball:-$config.tar.gz}"
237 case "$config" in
291 if [[ $config == linux-arm* ]]; then
295 case "$config" in
302 if [[ $config == linux-ia32 ]]; then
317 log_fatal "Unsupported machine-type '$config'"
332 if [[ $config == android-* ]]; then
341 if [[ $config == *-arm* ]]; then