Egor Duda 85057d174f * config/default.exp: Remove unneeded debugging output. ...

* Makefile.in: Use correct path to find dejagnu in local tree.

2001-03-09 15:39:28 +00:00

..

default.exp

* config/default.exp: Remove unneeded debugging output.

2001-03-09 15:39:28 +00:00