diff options
author | Paul Smith <psmith@gnu.org> | 2020-12-06 10:14:15 -0500 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2020-12-06 10:14:15 -0500 |
commit | bd4829096c12d87132ce2448b53d6863e442f48e (patch) | |
tree | 7dda8664dbcfcf4455081b2b8b0b37b25b6d9ad5 /doc | |
parent | 7044e0c93ca3d52e3e947764e538a0d1f5f2f16a (diff) | |
download | make-git-bd4829096c12d87132ce2448b53d6863e442f48e.tar.gz |
* doc/make.texi (Synchronized Terminal Output): [SV 58960] Fix link
Diffstat (limited to 'doc')
-rw-r--r-- | doc/make.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/make.texi b/doc/make.texi index 85bd66e0..d6fd1d03 100644 --- a/doc/make.texi +++ b/doc/make.texi @@ -11801,7 +11801,7 @@ control characters are not emitted so that they don't corrupt log files, etc. The @code{--output-sync} (@pxref{Parallel Output, ,Output During -Parallel Output}) option will defeat the terminal detection. When +Parallel Execution}) option will defeat the terminal detection. When output synchronization is enabled GNU @code{make} arranges for all command output to be written to a file, so that its output can be written as a block without interference from other commands. This |