From fa7993e9a0185b1d1347c6654893a8f5348f7ad8 Mon Sep 17 00:00:00 2001 From: Lars Ingebrigtsen Date: Fri, 28 May 2021 03:04:57 +0200 Subject: [PATCH] Fix previous admin/emake change --- admin/emake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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|\ -- 2.39.5