diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2020-08-28 18:43:34 +0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2020-08-28 18:43:34 +0200 |
commit | 50a8710ed14c7a0236a656bb62d5117519ec5813 (patch) | |
tree | 647bcea63f5ba28d7139bc06c393dff6bb2bfe44 | |
parent | 3156560d413634eea170e8dd88b3c2208149d999 (diff) |
Close stdin while running tests
For some reason, the bash shell started by 'nix develop' sometimes
reads from stdin, which can hang.
-rw-r--r-- | mk/tests.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mk/tests.mk b/mk/tests.mk index 2e39bb694..c1e140bac 100644 --- a/mk/tests.mk +++ b/mk/tests.mk @@ -8,7 +8,7 @@ define run-install-test .PHONY: $1.test $1.test: $1 $(test-deps) - @env TEST_NAME=$(notdir $(basename $1)) TESTS_ENVIRONMENT="$(tests-environment)" mk/run_test.sh $1 + @env TEST_NAME=$(notdir $(basename $1)) TESTS_ENVIRONMENT="$(tests-environment)" mk/run_test.sh $1 < /dev/null endef |