From f701124cceae15ff9f48ef87458e8a69d7518add 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:20 +0200 Subject: [PATCH] CI: added sudo to remove existing build & bin dirs --- build.sh | 2 +- src/parsers | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/build.sh b/build.sh index e549af9..ebb2d1b 100755 --- a/build.sh +++ b/build.sh @@ -43,7 +43,7 @@ then fi # Clean directory -rm -rf build bin +sudo rm -rf build bin ## Set environmental variables ENV_VARS="" diff --git a/src/parsers b/src/parsers index d052494..3137321 160000 --- a/src/parsers +++ b/src/parsers @@ -1 +1 @@ -Subproject commit d052494c48b97becbd08b114bafa58f59471f567 +Subproject commit 3137321c8986bc8fdcb1cc9ce348ec9ef7c54de0 -- GitLab