From dd9f381cbc3777cca449af7bc8f63f4beb54e2b7 Mon Sep 17 00:00:00 2001 From: John-Mark Gurney Date: Tue, 5 Jan 2021 01:20:21 +0000 Subject: [PATCH] make sure that stderr gets included.. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 0f9ab4b..9ca5bf7 100644 --- a/Makefile +++ b/Makefile @@ -8,7 +8,7 @@ _ggatessh= ggatessh .PHONY: devtest devtest: - find [gst]* -type f -name '*.c' -o -name 'Makefile*' -o -name '*.sh' -o -name '*.8' | entr sh -c '(set -o pipefail; make -j 4 | head -n 30) && make install -j 4 && (kyua test -k /usr/tests/Kyuafile sys/geom/class/gate || (cd /usr/tests && kyua report --verbose))' + find [gst]* -type f -name '*.c' -o -name 'Makefile*' -o -name '*.sh' -o -name '*.8' | entr sh -c '(set -o pipefail; make -j 4 2>&1 | head -n 30) && make install -j 4 && (kyua test -k /usr/tests/Kyuafile sys/geom/class/gate || (cd /usr/tests && kyua report --verbose))' VERSION!= git tag --points-at dist: