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