ci: Install gcc plugin headers for coverage build.

jepler · jepler · commit df0062d7fb2a · 2025-06-24T10:41:26.000+02:00
Signed-off-by: Jeff Epler &lt;jepler@gmail.com&gt;
diff --git a/tools/ci.sh b/tools/ci.sh
@@ -622,6 +622,8 @@ function ci_unix_coverage_setup {
     sudo pip3 install setuptools
     sudo pip3 install pyelftools
     sudo pip3 install ar
+    GCC_VER=$(echo __GNUC__ | gcc -P -E -)
+    sudo apt-get install gcc-${GCC_VER}-plugin-dev
     gcc --version
     python3 --version
 }

Original file line number	Diff line number	Diff line change
`@@ -622,6 +622,8 @@ function ci_unix_coverage_setup {`
`622`	`622`	`sudo pip3 install setuptools`
`623`	`623`	`sudo pip3 install pyelftools`
`624`	`624`	`sudo pip3 install ar`
	`625`	`+ GCC_VER=$(echo __GNUC__ \| gcc -P -E -)`
	`626`	`+ sudo apt-get install gcc-${GCC_VER}-plugin-dev`
`625`	`627`	`gcc --version`
`626`	`628`	`python3 --version`
`627`	`629`	`}`