nix/mk/debug-test.sh

#!/usr/bin/env bash

set -eu

test=$1

dir="$(dirname "${BASH_SOURCE[0]}")"
source "$dir/common-test.sh"

(init_test)
run_test_proper
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-16 01:17:08 +00:00			`#!/usr/bin/env bash`

			`set -eu`

			`test=$1`

			`dir="$(dirname "${BASH_SOURCE[0]}")"`
			`source "$dir/common-test.sh"`

			`(init_test)`
			`run_test_proper`