comparison: test/configure2
test/configure2
- changeset 133
- 59b14b75f12b
- parent 131
- 7241d072ace4
- child 136
- 6d4d165fc8f5
equal
deleted
inserted
replaced
| 132:e0478362c2cf | 133:59b14b75f12b |
|---|---|
| 857 echo " gui: off" | 857 echo " gui: off" |
| 858 fi | 858 fi |
| 859 echo | 859 echo |
| 860 | 860 |
| 861 # generate the config.mk file | 861 # generate the config.mk file |
| 862 pwd=`pwd` | |
| 862 cat > "$TEMP_DIR/config.mk" << __EOF__ | 863 cat > "$TEMP_DIR/config.mk" << __EOF__ |
| 863 # | 864 # |
| 864 # config.mk generated by configure | 865 # config.mk generated by: |
| 866 # pwd: $pwd | |
| 867 # $0 $@ | |
| 865 # | 868 # |
| 866 | 869 |
| 867 __EOF__ | 870 __EOF__ |
| 868 write_toolchain_defaults "$TEMP_DIR/toolchain.mk" | 871 write_toolchain_defaults "$TEMP_DIR/toolchain.mk" |
| 869 cat "$TEMP_DIR/vars.mk" "$TEMP_DIR/toolchain.mk" "$TEMP_DIR/flags.mk" "$TEMP_DIR/make.mk" > config.mk | 872 cat "$TEMP_DIR/config.mk" "$TEMP_DIR/vars.mk" "$TEMP_DIR/toolchain.mk" "$TEMP_DIR/flags.mk" "$TEMP_DIR/make.mk" > config.mk |
| 870 rm -Rf "$TEMP_DIR" | 873 rm -Rf "$TEMP_DIR" |
