search

CommunityGD32Cores / ArduinoCore-GD32

Arduino core for GD32 devices, community developed, based on original GigaDevice's core
Other
93 stars 33 forks source link

Switch our system includes to -isystem from -I #43

Closed obra closed 3 years ago

obra commented 3 years ago

This causes GCC to treat them as system files and to not warn about them, since we can't fix their coding style choices that -Wall -Wextra hate

maxgerhardt commented 3 years ago

Looks good, issue #44 tracks the PlatformIO side of things.