From 904d1984602a3c91c19587fb5198fff7d461b355 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Thu, 2 Mar 2023 09:55:34 +0100 Subject: [PATCH] =?utf8?q?Mais=20quel=20d=C3=A9bile,=20punaise?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- .github/workflows/git.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/git.yml b/.github/workflows/git.yml index 6ddfafe1eb..4b19cefca4 100644 --- a/.github/workflows/git.yml +++ b/.github/workflows/git.yml @@ -57,7 +57,7 @@ jobs: - name: build run: | sudo apt-get update && sudo apt-get install ninja-build libboost-dev libboost-context-dev - sudo apt-get libunwind-dev libdw-dev libelf-dev libevent-dev + sudo apt-get install libunwind-dev libdw-dev libelf-dev libevent-dev cmake -GNinja -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \ -Denable_compile_optimizations=ON -Denable_compile_warnings=ON \ -Denable_model-checking=ON -Denable_smpi_MBI_testsuite=OFF \ -- 2.20.1