7 if [ ! -f xconfig/${host} ]; then
8 echo "No such host ${host}"
12 # We really shouldn't depend on there being a space after XM_FILE= ...
13 hostfile=`awk '$1 == "XM_FILE=" { print $2 }' <xconfig/$host`
17 if [ ! -f tconfig/${target} ]; then
18 echo "No such target ${target}"
22 if [ -z "${removing}" ] ; then
23 cat xconfig/${host} tconfig/${target} | awk '$1 == "#msg" {
27 # We really shouldn't depend on there being a space after TM_FILE= ...
28 targetfile=`awk '$1 == "TM_FILE=" { print $2 }' <tconfig/$target`
30 host_makefile_frag=xconfig/${host}
31 target_makefile_frag=tconfig/${target}
33 # If hostfile (XM_FILE) and/or targetfile (TM_FILE) is not set in the
34 # ?config/* file, we don't make the corresponding links.
37 if [ "${hostfile}" != "" ]; then
38 files="${files} ${hostfile}"
41 if [ "${targetfile}" != "" ]; then
42 files="${files} ${targetfile}"
52 grep -s "source ${srcdir}/.gdbinit" .gdbinit 2>/dev/null || \
53 echo "source ${srcdir}/.gdbinit" >> .gdbinit
57 if [ ! -f ${srcdir}/depend ]; then
58 make -f Makefile.conf make-depend
60 make -f Makefile.conf make-Makefile