Merge remote-tracking branch 'origin/master' into debug-improvements

2025-10-31 00:32:38 +01:00 · 2019-07-28 21:53:13 -05:00
parent 51fabc672b 74fe46de3d
commit e1f3b90b56
8 changed files with 229 additions and 129 deletions
--- a/2
+++ b/2
@@ -60,7 +60,7 @@ test: \
 test_%: tests/test_%.sh

 ifdef QUIET
-	@./$< | sed -n '/^[-=]/p'
+	@./$< | sed -nu '/^[-=]/p'
 else
 	./$<
 endif