• 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.
    d0382615
LocalBuildInfo.hs 12.5 KB