From 8c529efe47179b62ce16bf9b12a58af33319bc7c Mon Sep 17 00:00:00 2001 From: Lars Ingebrigtsen Date: Fri, 28 May 2021 03:04:12 +0200 Subject: [PATCH] Adjust admin/emake filters Recent changes have made etc/doc always be regenerated, so it's no longer interesting. And all "git pull"s will make INFO Scraping files for cal-loaddefs.el... INFO Scraping files for cal-loaddefs.el...done etc be output, so filter them, too. --- admin/emake | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/admin/emake b/admin/emake index 29dc15186f4..29d63099a28 100755 --- a/admin/emake +++ b/admin/emake @@ -32,7 +32,9 @@ 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|\ -- 2.39.5