Follow-up Comment #21, bug #15919 (project make):
(comment by J. David Bryan, original submitter)
I have built separate versions of make with Paul's patch from Comment #20 and
Icarus' patch from Comment #18. Both fix the problem in the original bug
submission. However, Paul's patch appears to fail with this sequence of
commands (using the original makefile):
$ touch test.0 && make-p
touch test.1
touch test.2
touch test.3
touch test.int
touch test.4
rm test.int
[the above is correct]
$ touch test.0 && make-p
touch test.1
touch test.2
touch test.int
touch test.4
rm test.int
[the above is correct -- test.3 is not remade]
$ touch test.0 test.3 && make-p
touch test.int
touch test.4
rm test.int
[the above is incorrect -- test.1 and test.2 are not remade]
If I repeat the last command using Icarus' patched version, it works as
expected:
$ touch test.0 test.3 && make-i
touch test.1
touch test.2
touch test.int
touch test.4
rm test.int
[the above is correct]
If I run the last command with Paul's patched version, I note the following
lines in the debug output log produced with the "-d" option:
Considering target file `test.2'.
File `test.2' was considered already.
...except that test.2 wasn't previously considered, according to the log.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?15919>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-make
