diff --git a/scripts/pull_all.sh b/scripts/pull_all.sh
index 5079d306c..951cad16f 100755
--- a/scripts/pull_all.sh
+++ b/scripts/pull_all.sh
@@ -4,6 +4,7 @@ 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
+rm -rf bitbots_tools/bitbots_jenkins_library
 
 git submodule foreach git pull
 git -C humanoid_league_misc submodule update