diff --git a/Makefile b/Makefile index b26e1a7..ee60fe2 100644 --- a/Makefile +++ b/Makefile @@ -5,3 +5,6 @@ tipe: tipe.cmx ocamlopt -o tipe str.cmxa tipe.cmx + +clean: + rm tipe *.cmx *.cmi *.o