From 11b33a061573ad19b524e364edd8379f7c7b85b3 Mon Sep 17 00:00:00 2001 From: Konstantinos Chatzilygeroudis Date: Wed, 28 Aug 2024 10:40:45 +0300 Subject: [PATCH] Minor fix in osx script --- scripts/install_osx.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/install_osx.sh b/scripts/install_osx.sh index 899c560f..aa37015e 100755 --- a/scripts/install_osx.sh +++ b/scripts/install_osx.sh @@ -16,7 +16,7 @@ if [ $CLEAN -ne 0 ]; then echo "-- Cleaning.." # Remove previous attempts sudo rm -rf /opt/magnum - # rm -rf /opt/dart + sudo rm -rf /opt/dart sudo rm -rf /opt/robot_dart fi