Mercurial > urweb
changeset 1700:2b04104896a8
Delete C temporary directories, even if other files wind up there
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 13 Mar 2012 20:17:23 -0400 (2012-03-14) |
parents | 3320eba6bad5 |
children | 6a4461757829 |
files | src/compiler.sml |
diffstat | 1 files changed, 4 insertions(+), 4 deletions(-) [+] |
line wrap: on
line diff
--- a/src/compiler.sml Tue Mar 13 13:36:26 2012 -0400 +++ b/src/compiler.sml Tue Mar 13 20:17:23 2012 -0400 @@ -1425,10 +1425,10 @@ 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