From b3656d8f2ab103a68f9e1bc38e6524d3ed240ad5 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:45:13 +0200 Subject: [PATCH] CI: added sudo to remove build dirs --- build.sh | 2 +- src/parsers | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/build.sh b/build.sh index 9eb1522..37ce2ba 100755 --- a/build.sh +++ b/build.sh @@ -43,7 +43,7 @@ then fi # Clean directory -rm -rf build bin +sudo rm -rf build bin # Build project mkdir build bin diff --git a/src/parsers b/src/parsers index d052494..77f8de0 160000 --- a/src/parsers +++ b/src/parsers @@ -1 +1 @@ -Subproject commit d052494c48b97becbd08b114bafa58f59471f567 +Subproject commit 77f8de053c964fad4d9c0367f425aa14c0ae7880 -- GitLab