Ensure tools/make_opcodes is cleaned

2017-01-27 15:58:57 +01:00 · 2017-01-27 15:58:57 +01:00 · 080992e951
parent 0779087f7d
commit 080992e951
1 changed files with 1 additions and 1 deletions
--- a/tools/Makefile
+++ b/tools/Makefile
@ -300,7 +300,7 @@ opnames.ml: ../byterun/caml/instruct.h make_opcodes
 	$(CAMLRUN) make_opcodes -opnames < $< > $@

 clean::
-	rm -f opnames.ml
+	rm -f opnames.ml make_opcodes make_opcodes.ml

 beforedepend:: opnames.ml