Jose Alamos 43b992c09b
dist/Kconfiglib: fix autoconf header
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.
2021-06-16 14:06:47 +02:00
..