| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Wed Dec 3 12:23:46 EST 2008 |
|
At Wed, 3 Dec 2008 12:10:59 -0500 (EST), Dimitris Vyzovitis wrote: > Btw, is unwind enabled by default? Yes, for x86_64 Linux. (There's no way to disable it, and no particular reason you'd want to, as far as I can tell.) Matthew
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}