mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2025-02-11 09:40:46 +00:00
* fix __force_inline for different GCC versions in cpp mode (the affected versions are different from c mode), and build kitchsink.c as a cpp file too for testing * silly bug in host platform.h