From 550b0c985f3f47fb401b173955ddbee92d71c5be Mon Sep 17 00:00:00 2001 From: Evil Eye Date: Sat, 2 Aug 2025 10:56:50 +0200 Subject: [PATCH] Include file --- CI/install_debian_deps.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CI/install_debian_deps.sh b/CI/install_debian_deps.sh index 7f50a2eb1a..d4a7e88ed6 100755 --- a/CI/install_debian_deps.sh +++ b/CI/install_debian_deps.sh @@ -11,7 +11,7 @@ print_help() { declare -rA GROUPED_DEPS=( [gcc]="binutils gcc build-essential cmake ccache curl unzip git pkg-config mold" [clang]="binutils clang make cmake ccache curl unzip git pkg-config mold" - [coverity]="binutils clang make cmake ccache curl unzip git pkg-config" + [coverity]="binutils clang make cmake ccache curl unzip git pkg-config file" [gcc_preprocess]=" binutils build-essential