echo "srcdir=${srcdir}" >./Makefile.sdir
grep -s "source ${srcdir}/.gdbinit" .gdbinit 2>/dev/null || \
echo "source ${srcdir}/.gdbinit" >> .gdbinit
- if [ ! -d readline ]; then
- mkdir readline
- # This could be a symlink, but getting the name right (because
- # srcdir can be either relative or absolute) would be hairy.
- cp ${srcdir}/readline/Makefile readline
- fi
esac
+rm -f Makefile
make "srcdir=${srcdir}" \
"M_MAKEFILE=$srcdir/tconfig/$target $srcdir/xconfig/$host" \
-f $srcdir/Makefile.dist Makefile