fmtplugin tweak

jepler · jepler · commit 0153502defe4 · 2025-06-24T18:17:20.000+02:00
diff --git a/tools/ci.sh b/tools/ci.sh
@@ -676,7 +676,8 @@ function ci_unix_32bit_setup {
     sudo apt-get update
     GCC_VER=$(echo __GNUC__ | gcc -P -E -)
     sudo apt-get install gcc-multilib g++-multilib libffi-dev:i386 python2.7
-    ci_gcc_plugin_setup_helper i686-linux-gnu
+    GCC_VER=$(echo __GNUC__ | gcc -P -E -)
+    sudo apt-get install gcc-${GCC_VER}-plugin-dev
     sudo pip3 install setuptools
     sudo pip3 install pyelftools
     sudo pip3 install ar
