[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: src/Makefile unhelpful
From: |
Eli Zaretskii |
Subject: |
Re: src/Makefile unhelpful |
Date: |
Tue, 13 Sep 2022 19:11:12 +0300 |
> From: Richard Stallman <rms@gnu.org>
> Cc: larsi@gnus.org, eliz@gnu.org, sam@gentoo.org, emacs-devel@gnu.org
> Date: Tue, 13 Sep 2022 00:07:13 -0400
>
> If there is a way to output a message about how to request this
> feature in the make output, after the first use of a command that
> hides its actual text, or the first use of each command that
> hides its actual text, that will assure people see it this feature.
>
> etc/DEBUG and a comment at the top are good places to use also.
Would the below be good enough?
I looked at etc/DEBUG, but it doesn't discuss build-time problems,
only how to debug Emacs that was already built. So there doesn't seem
to be a good place there to mention this.
diff --git a/Makefile.in b/Makefile.in
index d288bac..119a96e 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -20,6 +20,8 @@
### Commentary:
# make all to compile and build Emacs.
+# make all V=1 to compile and build Emacs with "Verbose" output -- this
+# causes Make to show the full commands it is invoking.
# make install to install it.
# make TAGS to update tags tables.
#
- Re: src/Makefile unhelpful, (continued)
- Re: src/Makefile unhelpful, Eli Zaretskii, 2022/09/06
- Re: src/Makefile unhelpful, Richard Stallman, 2022/09/07
- Re: src/Makefile unhelpful, Sam James, 2022/09/08
- Re: src/Makefile unhelpful, Richard Stallman, 2022/09/10
- Re: src/Makefile unhelpful, Eli Zaretskii, 2022/09/11
- Re: src/Makefile unhelpful, Lars Ingebrigtsen, 2022/09/11
- Re: src/Makefile unhelpful, Po Lu, 2022/09/11
- Re: src/Makefile unhelpful, Eli Zaretskii, 2022/09/11
- Re: src/Makefile unhelpful, Lars Ingebrigtsen, 2022/09/11
- Re: src/Makefile unhelpful, Richard Stallman, 2022/09/13
- Re: src/Makefile unhelpful,
Eli Zaretskii <=
- Re: src/Makefile unhelpful, Alfred M. Szmidt, 2022/09/14
- Re: src/Makefile unhelpful, Lars Ingebrigtsen, 2022/09/14
- Re: src/Makefile unhelpful, Gregory Heytings, 2022/09/14
- Re: src/Makefile unhelpful, Lars Ingebrigtsen, 2022/09/15
- Re: src/Makefile unhelpful, Gregory Heytings, 2022/09/15
- Re: src/Makefile unhelpful, Eli Zaretskii, 2022/09/15
- Re: src/Makefile unhelpful, Gregory Heytings, 2022/09/15
- Re: src/Makefile unhelpful, Eli Zaretskii, 2022/09/15
- Re: src/Makefile unhelpful, Óscar Fuentes, 2022/09/15
- Re: src/Makefile unhelpful, Gregory Heytings, 2022/09/15