| From: Dimitris Vyzovitis (vyzo at media.mit.edu) Date: Wed Dec 3 12:10:59 EST 2008 |
|
On Wed, 3 Dec 2008, Matthew Flatt wrote: > You re-ran `configure', right? Uhm no, just make clean. After rerunning configure, so far it has passed linking the cgc version so I guess that was it. Btw, is unwind enabled by default? -- vyzo
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}