From ca76392d283ae3d4ca9f7733a6ca56c1f2393ea0 Mon Sep 17 00:00:00 2001 From: Adriaan de Groot Date: Sat, 7 Oct 2023 10:36:03 +0200 Subject: [PATCH] CI: missing tools for debian build --- ci/deps-debian11.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/ci/deps-debian11.sh b/ci/deps-debian11.sh index f2aa77d26..312364516 100755 --- a/ci/deps-debian11.sh +++ b/ci/deps-debian11.sh @@ -18,6 +18,7 @@ apt-get -y install \ libqt5svg5-dev \ libqt5webkit5-dev \ libyaml-cpp-dev \ + ninja-build \ os-prober \ pkg-config \ python3-dev \