711 #end |
711 #end |
712 #end |
712 #end |
713 echo |
713 echo |
714 |
714 |
715 # generate the config.mk file |
715 # generate the config.mk file |
|
716 pwd=`pwd` |
716 cat > "$TEMP_DIR/config.mk" << __EOF__ |
717 cat > "$TEMP_DIR/config.mk" << __EOF__ |
717 # |
718 # |
718 # config.mk generated by configure |
719 # config.mk generated by: |
|
720 # pwd: $pwd |
|
721 # $0 $@ |
719 # |
722 # |
720 |
723 |
721 __EOF__ |
724 __EOF__ |
722 write_toolchain_defaults "$TEMP_DIR/toolchain.mk" |
725 write_toolchain_defaults "$TEMP_DIR/toolchain.mk" |
723 cat "$TEMP_DIR/vars.mk" "$TEMP_DIR/toolchain.mk" "$TEMP_DIR/flags.mk" "$TEMP_DIR/make.mk" > config.mk |
726 cat "$TEMP_DIR/config.mk" "$TEMP_DIR/vars.mk" "$TEMP_DIR/toolchain.mk" "$TEMP_DIR/flags.mk" "$TEMP_DIR/make.mk" > config.mk |
724 rm -Rf "$TEMP_DIR" |
727 rm -Rf "$TEMP_DIR" |