diff options
| -rwxr-xr-x | gdb/config.gdb | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gdb/config.gdb b/gdb/config.gdb index 1712482..4f22663 100755 --- a/gdb/config.gdb +++ b/gdb/config.gdb @@ -168,12 +168,6 @@ case ${srcdir} in 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 make "srcdir=${srcdir}" \ |