diff lispintro/configure.in @ 78794:5f7e08d29d9f

(gdba, gdb-send, gdb-source-info): Use gdb-ready. Discard input until GDB is ready to accept it.
author Nick Roberts <nickrob@snap.net.nz>
date Sat, 15 Sep 2007 08:09:07 +0000
parents 695cf19ef79e
children 375f2633d815
line wrap: on
line diff