Clean more

augustss · Sep 1, 2024 · c347fc0 · c347fc0
1 parent f94adb9
commit c347fc0
Show file tree

Hide file tree

Showing 2 changed files with 4,428 additions and 4,430 deletions.
diff --git a/Makefile b/Makefile
@@ -140,7 +140,7 @@ cachelib:
 
 #
 clean:
-	rm -rf src/*/*.hi src/*/*.o *.comb *.tmp *~ bin/* a.out $(GHCOUTDIR) tmp/* Tools/*.o Tools/*.hi dist-newstyle generated/*-stage* .mhscache targets.conf .mhscache dist-mcabal cpphssrc Interactive.hs
+	rm -rf src/*/*.hi src/*/*.o *.comb *.tmp *~ bin/* a.out $(GHCOUTDIR) tmp/* Tools/*.o Tools/*.hi dist-newstyle generated/*-stage* .mhscache targets.conf .mhscache dist-mcabal cpphssrc Interactive.hs .mhsi
 	make clean -f Makefile.emscripten
 	cd tests; make clean
 	-cabal clean