Update of bug #20394 (project make):
Status: None => Fixed
Assigned to: None => psmith
Open/Closed: Open => Closed
Fixed Release: None => 4.4
_______________________________________________________
Follow-up Comment #9:
This was fixed with the implementation of the cache outdating facility in GNU
make 4.4.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?20394>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
