mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-17 18:43:50 +01:00
This commit fixes the generation of autoconf headers. The `write_autoconf` function in the RIOT wrapper was overriding the default value of the `header` arg to None in Kconfiglib's `write_autoconf`. It's now set to the default header.