2021-06-18: David Anderson
2021-05-12: David Anderson
* runtests.sh: Now make check works whether
the build done in- or out-of-build tree.
2021-06-18: David Anderson
2021-05-12: David Anderson
* runtests.sh: Now make check works whether
the build done in- or out-of-build tree.