Maintenant, le makefile peut tout néttoyer

2020-11-12 18:08:34 +01:00 · 2020-11-12 18:08:34 +01:00 · ebb605a753
commit ebb605a753
parent c9f03b6045
1 changed files with 3 additions and 0 deletions
--- a/3
+++ b/3
@ -5,3 +5,6 @@
 tipe: tipe.cmx
 	ocamlopt -o tipe str.cmxa tipe.cmx
 clean:
 	rm tipe *.cmx *.cmi *.o