diff options
author | Lars Ingebrigtsen <larsi@gnus.org> | 2021-05-28 03:04:12 +0200 |
---|---|---|
committer | Lars Ingebrigtsen <larsi@gnus.org> | 2021-05-28 03:04:12 +0200 |
commit | 8c529efe47179b62ce16bf9b12a58af33319bc7c (patch) | |
tree | 7b1f87caac56215501f383b3be75c48042a1169d /admin | |
parent | 390044f854fa103020ffca00eb1fe0e16805ad72 (diff) | |
download | emacs-8c529efe47179b62ce16bf9b12a58af33319bc7c.tar.gz |
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.
Diffstat (limited to 'admin')
-rwxr-xr-x | admin/emake | 4 |
1 files changed, 3 insertions, 1 deletions
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|\ |