[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
master 84082a0e84 1/2: Tweak admin/emacs output
|
From: |
Lars Ingebrigtsen |
|
Subject: |
master 84082a0e84 1/2: Tweak admin/emacs output |
|
Date: |
Sat, 20 Aug 2022 05:55:19 -0400 (EDT) |
branch: master
commit 84082a0e8401ca5ed415d7e11eb8b899b649a866
Author: Lars Ingebrigtsen <larsi@gnus.org>
Commit: Lars Ingebrigtsen <larsi@gnus.org>
Tweak admin/emacs output
---
admin/emake | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/admin/emake b/admin/emake
index 548611c6af..dfe3664e12 100755
--- a/admin/emake
+++ b/admin/emake
@@ -29,7 +29,7 @@ s#^Running # Running #
s#^Configured for # Configured for #
s#^./temacs.*# \\& #
s#^make.*Error# \\& #
-s#^Dumping under the name# \\& #
+s#^Dumping under the name.*# \\& #
' | \
grep -E --line-buffered -v "^make|\
^Loading|\