• Ross Paterson's avatar
    separate build and output directory for Hugs build · d0382615
    Ross Paterson authored
    Hugs requires a separate directory for the output files from the directory
    containing the preprocessed files.  The --scratchdir option now sets the
    former (and thus has an effect only for Hugs).
    This repairs the Hugs build.
LocalBuildInfo.hs 12.5 KB