| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Wed Mar 30 12:17:49 EST 2005 |
|
At Wed, 30 Mar 2005 16:39:33 +0100, Matt Jadud wrote: > However... destroying a directory might be a bit overzealous, no? Yes, fixed --- except for --gui-exe on Mac OS X, because the result is a directory. While I'm at it, though, I finally changed mzc to add ".exe" or ".app" when it's missing. That should avoid accidental directory deletions on Mac OS X. Matthew
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}