6 if [ ! -f xconfig/${host} ]; then
7 echo "No such host ${host}"
11 # We really shouldn't depend on there being a space after XM_FILE= ...
12 hostfile=`awk '$1 == "XM_FILE=" { print $2 }' <xconfig/$host`
16 if [ ! -f tconfig/${target} ]; then
17 echo "No such target ${target}"
21 if [ -z "${removing}" ] ; then
22 cat xconfig/${host} tconfig/${target} | awk '$1 == "#msg" {
26 # We really shouldn't depend on there being a space after TM_FILE= ...
27 targetfile=`awk '$1 == "TM_FILE=" { print $2 }' <tconfig/$target`
29 host_makefile_frag=xconfig/${host}
30 target_makefile_frag=tconfig/${target}
32 # If hostfile (XM_FILE) and/or targetfile (TM_FILE) is not set in the
33 # ?config/* file, we don't make the corresponding links. But we have
34 # to remove the xm.h files and tm.h files anyway, e.g. when switching
35 # from "configure host" to "configure none".
39 if [ "${hostfile}" != "" ]; then
40 files="${files} ${hostfile}"
44 if [ "${targetfile}" != "" ]; then
45 files="${files} ${targetfile}"
55 grep -s "source ${srcdir}/.gdbinit" .gdbinit 2>/dev/null || \
56 echo "source ${srcdir}/.gdbinit" >> .gdbinit
59 cat ${srcdir}/alldeps.mak ${srcdir}/depend >>Makefile