David Horstmann 6762231e4b Use CONFIG_H variable rather than config file name
Signed-off-by: David Horstmann <david.horstmann@arm.com>
2023-07-05 14:35:25 +01:00
..
2023-02-01 13:31:57 +00:00
2023-02-07 07:27:49 +01:00