[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
master cd81739 2/2: Add some admin/emake comments
From: |
Lars Ingebrigtsen |
Subject: |
master cd81739 2/2: Add some admin/emake comments |
Date: |
Mon, 14 Dec 2020 13:54:41 -0500 (EST) |
branch: master
commit cd81739af17406cad0eb121cd979350e45cd1b92
Author: Lars Ingebrigtsen <larsi@gnus.org>
Commit: Lars Ingebrigtsen <larsi@gnus.org>
Add some admin/emake comments
---
admin/emake | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/admin/emake b/admin/emake
index d794e1c..d9aa4ea 100755
--- a/admin/emake
+++ b/admin/emake
@@ -1,5 +1,14 @@
#!/bin/bash
+# This script is meant to be used as ./admin/emake, and will compile
+# the Emacs tree with virtually all of the informational messages
+# removed, and with errors/warnings highlighted in red. It'll give a
+# quick overview to confirm that nothing has broken, for instance
+# after doing a "git pull". It's not meant to be used during actual
+# development, because it removes so much information that commands
+# like `next-error' won't be able to jump to the source code where
+# errors are.
+
cores=1
# Determine the number of cores.