summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xswitch_all_submodules_to_head_and_clean1
1 files changed, 1 insertions, 0 deletions
diff --git a/switch_all_submodules_to_head_and_clean b/switch_all_submodules_to_head_and_clean
index 92f715b..b41a392 100755
--- a/switch_all_submodules_to_head_and_clean
+++ b/switch_all_submodules_to_head_and_clean
@@ -72,6 +72,7 @@ updateModule() {
git reset --hard HEAD
git clean -dxff
fi
+ git remote prune origin
if [[ -e $PARENTDIR/$MODULE.gitmodules ]]; then
if [[ $gituser == "anonymous" ]]; then