From f5c3f07c1da325ca2e8bd837220c8ce5fcb55aff Mon Sep 17 00:00:00 2001 From: Pierrick Bouvier Date: Wed, 14 Aug 2024 14:36:53 -0700 Subject: [PATCH] REMOVE: do not call make for plugins Signed-off-by: Pierrick Bouvier --- build.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/build.sh b/build.sh index 42cf03911c52c..3cfcb4347120a 100755 --- 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