From: Jacob Matthews (jacobm at cs.uchicago.edu) Date: Thu Feb 3 11:55:28 EST 2005 |
|
Matthew Flatt wrote: >Ok, I see a bug. If no collections (other than "info-domain") are left >in a collection root, then the info-domain cache is not updated. > >Is that what you're seeing? > > Is the intended behavior that info-domain files should always be rebuilt every time the user runs setup-plt? If that's the case, I can fix it to do that, I was just editing setup-unit.ss to deal with PLaneT stuff recently so it's current in my head. -jacob
Posted on the users mailing list. |
|