John Ericson 0251d44cc2 Make ./mk/run-test.sh work by itself; add mk/debug-test.sh ... First, logic is consolidated in the shell script instead of being spread between them and makefiles. That makes understanding what is going on a little easier. This would not be super interesting by itself, but it gives us a way to debug tests more easily. *That* in turn I hope is much more compelling. See the updated manual for details. Co-authored-by: Valentin Gagarin <valentin.gagarin@tweag.io> Co-authored-by: Eelco Dolstra <edolstra@gmail.com> Co-authored-by: Robert Hensing <roberth@users.noreply.github.com>		2022-12-21 02:28:33 -05:00
..
manual	Make ./mk/run-test.sh work by itself; add mk/debug-test.sh	2022-12-21 02:28:33 -05:00