From 3137321c8986bc8fdcb1cc9ce348ec9ef7c54de0 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:18:09 +0200
Subject: [PATCH] CI: added sudo to remove existing build & bin 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