diff options
author | Lars Ingebrigtsen <larsi@gnus.org> | 2021-02-24 23:55:05 +0100 |
---|---|---|
committer | Lars Ingebrigtsen <larsi@gnus.org> | 2021-02-24 23:55:05 +0100 |
commit | 97ab85c78ed2ce22ec8c72482f460890a01b00c2 (patch) | |
tree | 626f85a592fe94166393a857cf1c3c78ada8c987 /admin | |
parent | db09267de338461d7f3dcddba61d1b8904e7259e (diff) | |
download | emacs-97ab85c78ed2ce22ec8c72482f460890a01b00c2.tar.gz |
Include a "make check-maybe" in the admin/emake script
Diffstat (limited to 'admin')
-rwxr-xr-x | admin/emake | 6 |
1 files changed, 6 insertions, 0 deletions
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" |