From 82f661b37fa8bef67149f207ff10b36aa915d726 Mon Sep 17 00:00:00 2001
From: Daniel Agar <daniel@agar.ca>
Date: Tue, 9 Jan 2018 01:07:55 -0500
Subject: [PATCH] Makefile distclean deinit all submodules

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index f05a6abb5f..236913f125 100644
--- a/Makefile
+++ b/Makefile
@@ -374,7 +374,8 @@ submodulesupdate:
 gazeboclean:
 	@rm -rf ~/.gazebo/*
 
-distclean: submodulesclean gazeboclean
+distclean: gazeboclean
+	@git submodule deinit -f .
 	@git clean -ff -x -d -e ".project" -e ".cproject" -e ".idea" -e ".settings" -e ".vscode"
 
 # --------------------------------------------------------------------