From 9d965b5fec5b4d28c86971d78b3391e39977e143 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 8 Jan 2013 21:02:44 +0000
Subject: [PATCH] ML API: build system fixes

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 scripts/mk_util.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 9edbf2658..34a25781a 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -354,7 +354,10 @@ def check_ml():
         raise MKException('Failed testing ocamlopt compiler. Set environment variable OCAMLOPT with the path to the Ocaml native compiler')
     os.remove('hello.cmi')
     os.remove('hello.cmo')
+    os.remove('hello.cmx')
+    os.remove('hello.obj')
     os.remove('a.out')
+    t.__del__()
     find_ml_lib()
 
 def find_ml_lib():