diff --git a/coccinelle/run-coccinelle.sh b/coccinelle/run-coccinelle.sh index 360f9268e5a..9edfaa83838 100755 --- a/coccinelle/run-coccinelle.sh +++ b/coccinelle/run-coccinelle.sh @@ -66,7 +66,9 @@ for script in "${SCRIPTS[@]}"; do # at once one spatch process can take around 2.5 GiB of RAM, which can easily eat up all available RAM # when paired together with parallel # - # 2) Make sure spatch can find our includes via -I , similarly as we do when compiling stuff + # 2) Make sure spatch can find our includes via -I , similarly as we do when compiling stuff. + # Also, include the system include path as well, since we're not kernel and we make use of the stdlib + # (and other libraries). # # 3) Make sure to include includes from includes (--recursive-includes), but use them only to get type # definitions (--include-headers-for-types) - otherwise we'd start formating them as well, which might be @@ -81,6 +83,7 @@ for script in "${SCRIPTS[@]}"; do parallel --halt now,fail=1 --keep-order --noswap --max-args=10 \ spatch --cache-prefix "$CACHE_DIR" \ -I src \ + -I /usr/include \ --recursive-includes \ --include-headers-for-types \ --undefined SD_BOOT \