[plt-scheme] Disabling the compilation manager for system directories?

[Eric Kidd]

On Sat, May 3, 2008 at 11:56 PM, Matthew Flatt <mflatt at cs.utah.edu> wrote:
>  But why does "misc.ss" need to be recompiled? The files in the main
> installation should refer only to other files in the main installation;
> if none of them change, then the compilation manager shouldn't try to
> recompile any of them.

Oh, I see! The main installation generates a full set of *.deps files.
And the timestamps look good, so there's something more mysterious
going on here.

Let me spend a few hours trying to debug this.

Thank you for the advice!

Cheers,
Eric