diff options
| author | Frantisek Sumsal <frantisek@sumsal.cz> | 2023-12-26 18:44:21 +0100 |
|---|---|---|
| committer | Frantisek Sumsal <frantisek@sumsal.cz> | 2023-12-27 11:15:44 +0100 |
| commit | 11959eb201bdd478a8dc247b78a10fc8ffd611b9 (patch) | |
| tree | d67dfa6ab202820a1c979c635b41302a91e2e1bc /coccinelle | |
| parent | coccinelle: explicitly undefine SD_BOOT (diff) | |
| download | systemd-11959eb201bdd478a8dc247b78a10fc8ffd611b9.tar.xz systemd-11959eb201bdd478a8dc247b78a10fc8ffd611b9.zip | |
coccinelle: search the system include path for header files as well
Since Coccinelle is originally a kernel tool, it doesn't search the
system include path by default for header files. Without this we're
missing a lot of types provides by stdlib (and other libraries we make
use of).
Diffstat (limited to 'coccinelle')
| -rwxr-xr-x | coccinelle/run-coccinelle.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/coccinelle/run-coccinelle.sh b/coccinelle/run-coccinelle.sh index 360f9268e5..9edfaa8383 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 <dir>, similarly as we do when compiling stuff + # 2) Make sure spatch can find our includes via -I <dir>, 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 \ |