REMOVE: do not call make for plugins

Signed-off-by: Pierrick Bouvier <[email protected]>
pbo-linaro · Oct 16, 2024 · f5c3f07 · f5c3f07
1 parent 2214276
commit f5c3f07
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/build.sh b/build.sh
@@ -87,5 +87,4 @@ if [ ! -f .configured ]; then
     touch .configured
 fi
 ninja
-make -B -C contrib/plugins/ > /dev/null
 popd