master 97ab85c: Include a "make check-maybe" in the admin/emake script

[Lars Ingebrigtsen]

branch: master
commit 97ab85c78ed2ce22ec8c72482f460890a01b00c2
Author: Lars Ingebrigtsen <larsi@gnus.org>
Commit: Lars Ingebrigtsen <larsi@gnus.org>

    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 d9aa4ea..e95b17d 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"