From 37c4d4c27de473c32b16e6bf38da2e9fa6fc5433 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20De=20Keersmaeker?=
 <francois.dekeersmaeker@uclouvain.be>
Date: Mon, 21 Oct 2024 12:01:44 +0000
Subject: [PATCH] CI: updated build script

---
 .ci_scripts/build.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.ci_scripts/build.sh b/.ci_scripts/build.sh
index 06c6e03..5da8c2d 100755
--- a/.ci_scripts/build.sh
+++ b/.ci_scripts/build.sh
@@ -36,7 +36,12 @@ then
 fi
 
 # Clean directory
-sudo rm -rf build bin
+SUDO_PREFIX=""
+if [[ $(whoami) != "root" ]]
+then
+    SUDO_PREFIX="sudo"
+fi
+$SUDO_PREFIX rm -rf build bin
 
 # Build project
 mkdir build bin
-- 
GitLab