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-06-28 17:52:42 +01:00
2022-09-29 09:39:04 +01:00
2022-04-03 12:58:46 +02:00
2022-10-12 15:55:15 +01:00
2022-08-16 16:41:47 +02:00
2022-08-16 16:41:47 +02:00
2022-08-16 16:53:00 +02:00
2022-08-16 16:53:00 +02:00
2022-08-09 12:08:21 +02:00
2022-08-01 10:29:53 +02:00
2022-08-01 10:29:53 +02:00
2022-08-01 10:29:53 +02:00
2022-08-09 12:08:21 +02:00
2022-08-03 21:49:41 +01:00
2022-09-24 15:36:19 +01:00
2022-02-15 10:44:37 +01:00
2022-08-24 12:17:30 +02:00
2022-07-12 23:11:35 +02:00
2022-04-02 21:50:41 +02:00
2022-06-28 17:52:42 +01:00
2022-09-12 15:13:12 +01:00
2022-05-25 23:14:22 +01:00