From cd81739af17406cad0eb121cd979350e45cd1b92 Mon Sep 17 00:00:00 2001 From: Lars Ingebrigtsen Date: Mon, 14 Dec 2020 19:54:29 +0100 Subject: [PATCH] Add some admin/emake comments --- admin/emake | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/admin/emake b/admin/emake index d794e1c4178..d9aa4ea74bd 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. -- 2.39.5