]> git.eshelyaron.com Git - emacs.git/commitdiff
Tweak admin/emacs output
authorLars Ingebrigtsen <larsi@gnus.org>
Sat, 20 Aug 2022 09:12:16 +0000 (11:12 +0200)
committerLars Ingebrigtsen <larsi@gnus.org>
Sat, 20 Aug 2022 09:12:16 +0000 (11:12 +0200)
admin/emake

index 548611c6afccbe57a0736a4a65345e795961b559..dfe3664e122847bb3e34e1a2995ea01cf80fd6d0 100755 (executable)
@@ -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|\