diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-11-08 10:33:58 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-08 10:33:58 -0500 |
commit | 443e2b566220b4aa3921527742e1efbabc0eb0e3 (patch) | |
tree | 668e1182a47e66702fa97dbef4025dd9c1df40ac /src/compiler.sml | |
parent | c5e1cb8c69d62a6ff64cb06d7f263f9c274cb4de (diff) |
Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files
Diffstat (limited to 'src/compiler.sml')
-rw-r--r-- | src/compiler.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index de0490c3..bde16fd3 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -567,7 +567,8 @@ fun compile job = (cname, oname, fn () => (OS.FileSys.remove cname; OS.FileSys.remove oname; - OS.FileSys.rmDir dir)) + OS.FileSys.rmDir dir) + handle OS.SysErr _ => OS.FileSys.rmDir dir) end val ename = #exe job in |