diff options
-rwxr-xr-x | util/ide-config.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/util/ide-config.sh b/util/ide-config.sh index 03928065a7..25edca2407 100755 --- a/util/ide-config.sh +++ b/util/ide-config.sh @@ -231,7 +231,9 @@ vscode() { echo '"compilerPath": "/usr/bin/arm-none-eabi-gcc",' # echo '"compilerArgs": [],' # The macro __STDC_VERSION__ is 201710L, which corresponds to c18. - echo '"cStandard": "c18",' + # VSCode doesn't have a C18 option, so go with C17. Since we seem + # to use a lot of GNUC features, let's go with gnu17 instead of c17. + echo '"cStandard": "gnu17",' # echo '"cppStandard": "c++17",' echo '"intelliSenseMode": "gcc-x64"' } | { |