Paul Smith
62e8f029e9
[SV 58735] Define the order that makefiles are rebuilt.
...
Ensure that makefiles are rebuilt in the order in which make first
considered them, and document this behavior in the manual.
* NEWS: Add a note about the new behavior
* doc/make.text (How make Processes a Makefile): Document it.
* main.c (main): Inverse the list of makefile goals.
* read.c (read_all_makefiles): Add default makefiles to the list at
the front in reverse order, the same way other makefiles are added.
* tests/scripts/features/include: Add tests to verify rebuild order.
2020-07-19 13:56:23 -04:00
..
2020-03-31 01:07:43 -04:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2020-01-20 19:25:54 -05:00
2020-01-03 02:08:59 -05:00
2020-01-20 19:25:54 -05:00
2020-01-03 02:08:59 -05:00
2020-02-29 11:14:46 +02:00
2020-01-20 19:25:54 -05:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2020-01-04 13:23:23 -05:00
2020-05-03 14:54:56 -04:00
2020-01-03 02:08:59 -05:00
2020-01-04 13:23:23 -05:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2019-10-05 11:23:31 -04:00
2017-11-19 14:07:22 -05:00
2020-01-03 02:08:59 -05:00
2020-07-10 11:59:38 -04:00
2020-01-20 19:25:54 -05:00
2020-05-03 14:54:56 -04:00
2020-01-03 02:08:59 -05:00
2020-07-19 13:56:23 -04:00
2020-07-10 11:59:40 -04:00
2020-05-03 14:54:56 -04:00
2020-01-03 02:08:59 -05:00
2020-03-31 00:19:20 -04:00
2020-03-31 01:07:43 -04:00
2020-05-02 20:09:29 -04:00
2020-07-19 13:56:23 -04:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2020-01-19 17:04:52 -05:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2020-01-20 19:25:54 -05:00
2020-01-03 02:08:59 -05:00
2020-01-03 02:08:59 -05:00
2020-01-20 19:25:54 -05:00
2020-01-20 19:25:54 -05:00
2020-05-03 14:54:56 -04:00
2020-01-03 02:08:59 -05:00
2020-01-20 19:25:54 -05:00
2020-01-03 02:08:59 -05:00
2020-05-03 14:54:56 -04:00
2020-01-03 02:08:59 -05:00