summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/compiler.sml8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/compiler.sml b/src/compiler.sml
index 8ee86947..2ebf0d28 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -1425,10 +1425,10 @@ fun compile job =
in
OS.FileSys.mkDir dir;
(cname, oname,
- fn () => (OS.FileSys.remove cname;
- OS.FileSys.remove oname;
- OS.FileSys.rmDir dir)
- handle OS.SysErr _ => OS.FileSys.rmDir dir)
+ fn () => (if OS.Process.isSuccess (OS.Process.system ("rm -rf " ^ dir)) then
+ ()
+ else
+ raise Fail ("Unable to delete temporary directory " ^ dir)))
end
val ename = #exe job
in