From 859cbe78267cf8838cb40e08e47414ee722a2b91 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20De=20Keersmaeker?=
 <francois.dekeersmaeker@uclouvain.be>
Date: Sat, 19 Oct 2024 18:44:39 +0200
Subject: [PATCH] CI: added sudo to remove build dirs

---
 .ci_scripts/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.ci_scripts/build.sh b/.ci_scripts/build.sh
index aa78e01..06c6e03 100755
--- a/.ci_scripts/build.sh
+++ b/.ci_scripts/build.sh
@@ -36,7 +36,7 @@ then
 fi
 
 # Clean directory
-rm -rf build bin
+sudo rm -rf build bin
 
 # Build project
 mkdir build bin
-- 
GitLab