diff --git a/scripts/pull_all.sh b/scripts/pull_all.sh index ffc8d850d..5079d306c 100755 --- a/scripts/pull_all.sh +++ b/scripts/pull_all.sh @@ -1,5 +1,9 @@ #!/bin/bash set -e +# This is a temporary hack, so it is not necessary that every user removes these dirs themselfs +rm -rf basler_drivers +rm -rf humanoid_league_msgs + git submodule foreach git pull git -C humanoid_league_misc submodule update