18 Mar
2008
18 Mar
'08
9:15 a.m.
Can someone remind me why we have the --scratchdir flag for hugs. As far as I can see all it does is specify where some temporary files go after being preprocessed but before being installed. The default is dist/scratch. The question is, why is it configurable and not simply always dist/scratch? What problem are people solving by modifying --scratchdir ? Duncan