PROBLEM SUMMARY:
Running make with the -n option shows that my archive file will be
updated.
When I run make "for real" the archive update does not occur.
---
106> make --version
GNU Make version 3.78.1, by Richard Stallman
Hi Eray;
Thanks for the patch.
However, you should be aware that the major new feature for the next
release of GNU make, which will be 3.80, is a superset of the change you
are proposing. The read.c file is being (indeed, has already been)
fairly extensively reworked.
Also, you make use of ver
