optionally configure libgui (--enable-gdbgui)
authorThomas Lord <lord@cygnus>
Fri, 30 Sep 1994 00:36:58 +0000 (00:36 +0000)
committerThomas Lord <lord@cygnus>
Fri, 30 Sep 1994 00:36:58 +0000 (00:36 +0000)
commitf4a7dca7e755010144a141a688d3f7d0d8059bf7
tree949c466198067239e9a704790bdfbb1f60125ab6
parent1df6e2665e55727dd4ccdbe3d6b8bbc55ec9dd8c
optionally configure libgui (--enable-gdbgui)
configure.in