diff options
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" |