mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-25 06:23:53 +01:00
When not using the Rust version of Git-Cache, the build system clones the full NRFX repository which led to errors during the build process due to duplicated headers and headers not found where they were expected.