[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 67.
From: |
Bruno Haible |
Subject: |
Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 67. |
Date: |
Tue, 19 Mar 2024 10:51:05 +0100 |
Hi Collin,
> Two simple patches. This just makes it so that the library Makefile
> is output after gnulib-comp.m4.
> ...
> but the removal of the temporary file is done inside of the parent,
> outside of the loop. Therefore only the second temporary file would be
> deleted.
Thanks! Both patches applied.
> The second patch fixes an error that I noticed because of this
> change.
Quibbling about words: When you say "fixes an error", it makes me think
that gnulib-tool.py printed an error message. Which it did not do; it
merely left a file on disk. I'd prefer if you say "fixes a mistake".
In common talk, "I made an error" and "I made a mistake" are synonymous.
But when talking about a program, there's a difference between "an error"
and "a mistake".
The English language is nice here. In French and German, there is only a
single term for both meanings.
Bruno
- [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 65., Collin Funk, 2024/03/18
- [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 66., Collin Funk, 2024/03/18
- [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 67., Collin Funk, 2024/03/18
- [PATCH] gnulib-tool.py: Don't emit empty Automake snippets., Collin Funk, 2024/03/19
- Re: [PATCH] gnulib-tool.py: Don't emit empty Automake snippets., Bruno Haible, 2024/03/19
- Re: [PATCH] gnulib-tool.py: Don't emit empty Automake snippets., Collin Funk, 2024/03/19
- Re: [PATCH] gnulib-tool.py: Don't emit empty Automake snippets., Collin Funk, 2024/03/20
- Re: [PATCH] gnulib-tool.py: Don't emit empty Automake snippets., Bruno Haible, 2024/03/20
- Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 67.,
Bruno Haible <=
- Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 67., Collin Funk, 2024/03/19
- Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 67., Bruno Haible, 2024/03/19
- Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 67., Collin Funk, 2024/03/19
- Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 67., Bruno Haible, 2024/03/19
- Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 67., Bruno Haible, 2024/03/20
Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 66., Bruno Haible, 2024/03/19
Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 65., Bruno Haible, 2024/03/19