On 4/14/23 10:43, Richard W.M. Jones wrote:
On Fri, Apr 14, 2023 at 10:21:31AM +0200, Laszlo Ersek wrote:
> In the strictest sense, I only need to shorten
> DESTINATION_IS_ZERO_OPTION by three characters. Should I rename it to
> DEST_IS_ZERO_OPTION, or TARGET_IS_ZERO_OPTION? (The latter is better,
> because we already have a "--target-is-zero" long option, aliasing
> "--destination-is-zero".)
Or even fold it across a line ..?
I like the table format too much for that. :)
> So I'd replace patches #1 and #2 with that, and keep #3 and #4.
I think that's better.
OK, I'll try with TARGET_IS_ZERO_OPTION then.
Thanks!
Laszlo