srcname="GDB" srctrigger=main.c if [ -z "${template}" ] ; then make -f Makefile.dist Makefile.in fi # per-host: if [ ! -f xconfig/${host} ]; then echo "No such host ${host}" exit 1 fi hostfile=`awk ' $1 == "XM_FILE=" { print $2 }'