1 files changed, 0 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 61b2f5cd9..38be3013d 100644
--- a/Makefile
+++ b/Makefile
@@ -219,7 +219,6 @@ indepclean:
 	rm -f */*.pp[iox] plugins/*/*.pp[iox]
 	rm -rf $(SOURCEDOCDIR)
 	rm -f toplevel/mltop.byteml toplevel/mltop.optml
-	rm -f test-suite/check.log
 	rm -f glob.dump
 	rm -f config/revision.ml revision
 	rm -f plugins/micromega/.micromega.ml.generated