| echo "/* Automatically generated by configure - do not modify */" |
| echo "#include \"../config-host.h\"" |
| CONFIG_*=y) # configuration |
| CONFIG_*=*) # configuration |
| echo "#define $name $value" |
| TARGET_ARCH=*) # configuration |
| arch_name=`echo $target_arch | tr '[:lower:]' '[:upper:]'` |
| echo "#define TARGET_ARCH \"$target_arch\"" |
| echo "#define TARGET_$arch_name 1" |
| TARGET_BASE_ARCH=*) # configuration |
| target_base_arch=${line#*=} |
| if [ "$target_base_arch" != "$target_arch" ]; then |
| base_arch_name=`echo $target_base_arch | tr '[:lower:]' '[:upper:]'` |
| echo "#define TARGET_$base_arch_name 1" |
| TARGET_*=y) # configuration |
| TARGET_*=*) # configuration |
| echo "#define $name $value" |