diff --git a/.ci_scripts/build.sh b/.ci_scripts/build.sh index 06c6e03cbdb911f2e415f4b43ea591ab6ca1170a..5da8c2dae2b1b19ff8ab5cc06f06544e7902ee24 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