diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2021-08-19 16:48:59 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2021-08-19 16:48:59 -0700 |
commit | 07fcbb558d797272b9f43547da60beda485873a3 (patch) | |
tree | 77d5da14e9f9d9d8b1d877c70c01296fd3893796 /admin/emake | |
parent | c9bdeff3e45a7ac84a74a81bb048046f82dddc91 (diff) | |
parent | fb81c8c3adf8633f2f617c82f6019aef630860c7 (diff) | |
download | emacs-07fcbb558d797272b9f43547da60beda485873a3.tar.gz |
Merge remote-tracking branch 'origin/master' into athena/unstable
Diffstat (limited to 'admin/emake')
-rwxr-xr-x | admin/emake | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/admin/emake b/admin/emake index d9aa4ea74bd..bdaabc026b3 100755 --- a/admin/emake +++ b/admin/emake @@ -27,19 +27,21 @@ s#^Configuring local git # Configuring local git # s#^Installing git hooks...# Installing git hooks...# s#^Running # Running # s#^Configured for # Configured for # -s#^./temacs # ./temacs # -s#^Dumping under the name# Dumping under the name# +s#^./temacs.*# \\& # ' | \ egrep --line-buffered -v "^make|\ ^Loading|\ SCRAPE|\ -INFO.*Scraping.*[.]\$|\ +INFO.*Scraping.*[.] ?\$|\ +INFO.*Scraping.*done\$|\ +GEN.*etc/DOC|\ ^Waiting for git|\ ^Finding pointers|\ ^Using load-path|\ ^Adding name|\ ^Dump mode|\ ^Dumping finger|\ +^Dumping under the name|\ ^Byte counts|\ ^Reloc counts|\ ^Pure-hashed|\ @@ -68,6 +70,8 @@ GEN.*loaddefs|\ ^\"configure\" file built.|\ ^There seems to be no|\ ^config.status:|\ +ELN_DESTDIR|\ +--bin-dest |\ ^ *$|\ ^Makefile built|\ The GNU allocators don't work|\ @@ -83,3 +87,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" |