1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index ca1ace18cb..07821d1146 100644
--- a/Makefile
+++ b/Makefile
@@ -153,7 +153,6 @@ uninstall-data:
 clean::
 	$(RM) $(ALLPROGS) $(ALLPROGS_G)
 	$(RM) $(CLEANSUFFIXES)
-	$(RM) $(TOOLS)
 	$(RM) $(CLEANSUFFIXES:%=tools/%)
 	$(RM) coverage.info
 	$(RM) -r coverage-html