remove munger.o once munger.exe is created

HOL-Theorem-Prover · Sep 19, 2014 · 14bb475 · 14bb475
1 parent 5d61a3a
commit 14bb475
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/TeX/poly-mkmkmunge.ML b/src/TeX/poly-mkmkmunge.ML
@@ -35,7 +35,8 @@ in
     val flags = if staticp then POLY_LDFLAGS_STATIC else POLY_LDFLAGS
     val res = systeml ([CC, "-o", exe, "munger.o"] @ flags)
   in
-    if OS.Process.isSuccess res then ()
+    if OS.Process.isSuccess res
+    then OS.FileSys.remove "munger.o"
     else die "Linking of Poly/ML object code failed"
   end
 end