From 080992e95126d105c798e66f48ff44a1bfd66928 Mon Sep 17 00:00:00 2001
From: David Allsopp <david.allsopp@metastack.com>
Date: Fri, 27 Jan 2017 15:58:57 +0100
Subject: [PATCH] Ensure tools/make_opcodes is cleaned

---
 tools/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/Makefile b/tools/Makefile
index 4ca12e76c..466382ecb 100644
--- 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