[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: src/Makefile unhelpful
From: |
Richard Stallman |
Subject: |
Re: src/Makefile unhelpful |
Date: |
Tue, 13 Sep 2022 00:07:13 -0400 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
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.
--
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)
- Re: src/Makefile unhelpful, (continued)
- Re: src/Makefile unhelpful, Po Lu, 2022/09/06
- 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 <=
- Re: src/Makefile unhelpful, Eli Zaretskii, 2022/09/13
- 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