mirror of
https://git.savannah.gnu.org/git/make.git
synced 2025-12-31 00:02:54 -05:00
it might be needed: for most situations we parse prereqs immediately as we used to. Reduces memory usage. - Fixes Savannah bug #18622.
it might be needed: for most situations we parse prereqs immediately as we used to. Reduces memory usage. - Fixes Savannah bug #18622.