From 97ab85c78ed2ce22ec8c72482f460890a01b00c2 Mon Sep 17 00:00:00 2001
From: Lars Ingebrigtsen <larsi@gnus.org>
Date: Wed, 24 Feb 2021 23:55:05 +0100
Subject: [PATCH] Include a "make check-maybe" in the admin/emake script

---
 admin/emake | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/admin/emake b/admin/emake
index d9aa4ea74bd..e95b17dbdc2 100755
--- a/admin/emake
+++ b/admin/emake
@@ -83,3 +83,9 @@ do
   [[ "X${REPLY:0:3}" == "X   " ]] && C="\033[1;31m"
   [[ "X$C" == "X" ]] && printf "%s\n" "$REPLY" || printf "$C%s\033[0m\n" "$REPLY"
 done
+
+# Run a "make check" on all test files belonging to files that have
+# changed since last time.
+make -j$cores check-maybe 2>&1 | \
+    sed -n '/contained unexpected results/,$p' | \
+    egrep --line-buffered -v "^make"
-- 
2.39.2