diff options
| author | Lars Ingebrigtsen <larsi@gnus.org> | 2021-05-28 03:04:57 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen <larsi@gnus.org> | 2021-05-28 03:04:57 +0200 |
| commit | fa7993e9a0185b1d1347c6654893a8f5348f7ad8 (patch) | |
| tree | 031dd932839a4e77a924b5dc87118f17010af4c0 /admin | |
| parent | 8c529efe47179b62ce16bf9b12a58af33319bc7c (diff) | |
| download | emacs-fa7993e9a0185b1d1347c6654893a8f5348f7ad8.tar.gz | |
Fix previous admin/emake change
Diffstat (limited to 'admin')
| -rwxr-xr-x | admin/emake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/emake b/admin/emake index 29d63099a28..bdaabc026b3 100755 --- a/admin/emake +++ b/admin/emake @@ -34,7 +34,7 @@ egrep --line-buffered -v "^make|\ SCRAPE|\ INFO.*Scraping.*[.] ?\$|\ INFO.*Scraping.*done\$|\ -GEN.*etc/doc|\ +GEN.*etc/DOC|\ ^Waiting for git|\ ^Finding pointers|\ ^Using load-path|\ |