diff options
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...# | |||
| 28 | s#^Running # Running # | 28 | s#^Running # Running # |
| 29 | s#^Configured for # Configured for # | 29 | s#^Configured for # Configured for # |
| 30 | s#^./temacs.*# \\& # | 30 | s#^./temacs.*# \\& # |
| 31 | s#^make.*Error# \\& # | ||
| 31 | ' | \ | 32 | ' | \ |
| 32 | egrep --line-buffered -v "^make|\ | 33 | egrep --line-buffered -v "^make|\ |
| 33 | ^Loading|\ | 34 | ^Loading|\ |