Ali Mohammad Pur
166a905951
Userland: Properly populate GENERATED_SOURCES
...
We previously put the generated headers in SOURCES, which did not mark
them as GENERATED (and did not produce a proper dependency).
This commit moves all generated headers into GENERATED_SOURCES, and
removes useless header SOURCES.
2022-10-12 15:55:15 +01:00
..
2022-10-12 15:55:15 +01:00
2022-07-12 23:11:35 +02:00
2022-05-05 21:25:04 +02:00
2022-09-21 10:14:40 +01:00
2022-07-14 23:27:46 +02:00
2022-07-14 23:27:46 +02:00
2022-07-12 23:11:35 +02:00
2022-04-03 12:21:05 +02:00
2022-07-12 23:11:35 +02:00
2022-04-03 12:21:05 +02:00
2022-07-24 14:05:35 +01:00
2022-04-03 12:21:05 +02:00
2022-09-21 10:14:40 +01:00
2022-09-21 10:14:40 +01:00
2022-04-09 23:48:18 +02:00
2022-04-03 12:21:05 +02:00
2022-04-03 12:21:05 +02:00
2022-04-03 12:21:05 +02:00
2022-08-14 23:33:28 +02:00
2022-08-12 12:24:40 +02:00
2022-04-27 11:54:37 +02:00
2022-04-03 12:21:05 +02:00