>>>>> "PS" == Paul Smith <psm...@gnu.org> writes: PS> I think the behavior you're seeing is due to a bug in the older version PS> of gnulib that was used to build your version of GNU make, which as PS> since been fixed.
OK. I hope so. P.S., $ make --version GNU Make 4.3 Built for x86_64-pc-linux-gnu Copyright (C) 1988-2020 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ I would add https, and www. As that is what HEAD(1) shows...
