diff options
| author | Lars Ingebrigtsen <larsi@gnus.org> | 2021-11-06 18:54:17 +0100 |
|---|---|---|
| committer | Lars Ingebrigtsen <larsi@gnus.org> | 2021-11-06 18:55:34 +0100 |
| commit | 33ad2bfa95d3244c913a660fb596c8043b01f55a (patch) | |
| tree | 9ed713f02799e708edc74b0bf2b7c94d5e26748b /admin | |
| parent | cf9d85c1ea3c8b6eda9e2f388c14c1a02576ea8c (diff) | |
| download | emacs-33ad2bfa95d3244c913a660fb596c8043b01f55a.tar.gz | |
Include make Errors in admin/emake
Diffstat (limited to 'admin')
| -rwxr-xr-x | admin/emake | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/admin/emake b/admin/emake index bdaabc026b3..8c37c160555 100755 --- a/admin/emake +++ b/admin/emake @@ -28,6 +28,7 @@ s#^Installing git hooks...# Installing git hooks...# s#^Running # Running # s#^Configured for # Configured for # s#^./temacs.*# \\& # +s#^make.*Error# \\& # ' | \ egrep --line-buffered -v "^make|\ ^Loading|\ |