Follow-up Comment #4, bug #40159 (project make): I'm not able to reproduce this bug with any of 3.81, 3.82, or the current release candidate for the next stable release. So, either the problem is fragile enough that it's not reproducible on my system, or else the Debian version of this package has some patches applied which are changing the behavior of GNU make enough that I don't see it. I don't have access to the Debian version of GNU make.
Testing a different version is quite trivial; just build it: wget http://ftp.gnu.org/gnu/make/make-3.82.tar.gz tar xzf make-3.82.tar.gz cd make-3.82 ./configure make You do _not_ need to install this version of make. Just leave it there in that directory. There's no installation needed for make. Now run .../make-3.82/make (use the full pathname to the new make you built) and see if you still have the problem. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?40159> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
