Update clean rule

dhil · dhil · commit 43533d234caa · 2022-03-21T23:00:04.000Z
diff --git a/Makefile b/Makefile
@@ -138,7 +138,6 @@ dune-package:
 # Clean up rule
 .PHONY: clean
 clean:
-	dune clean
 	rm -f META dune-package
 	rm -f *.so *.o *.a
 	rm -f *.cmo *.cmx *.cma *.cmxa *.cmi *.cmt *.cmti
