David Horstmann 969c145f34 Use CONFIG_H variable rather than config file name
Signed-off-by: David Horstmann <david.horstmann@arm.com>
2023-07-05 14:12:13 +01:00
..
2023-02-01 13:30:26 +00:00
2023-02-06 12:54:53 +01:00
2022-12-20 19:52:42 +01:00