This repository was archived by the owner on Jul 9, 2021. It is now read-only.
This repository was archived by the owner on Jul 9, 2021. It is now read-only.
Separate build dir for dejagnu #187
Description
Some reports popped up on mailing list about failing tests in dejagnu. It seems that they can be fixed by using a separate build dir, just like it is done with some other packages:
mkdir build
cd build
../configure ...
make
make check
make install