8 May
2010
8 May
'10
8:49 a.m.
On Fri, May 7, 2010 at 11:42 PM, Brandon S. Allbery KF8NH
On May 7, 2010, at 17:00 , Gwern Branwen wrote:
"-outputdir dir
The -outputdir option is shorthand for the combination of -odir, -hidir, and -stubdir."
So if we used "-outputdir /dev/null", we don't have to worry about
I expect you'll get a "Not a directory" diagnostic from GHC about that one, unless GHC itself special-cases /dev/null.
Bleh, unfortunately it doesn't seem to. '/dev/null/Main.o: getModificationTime: inappropriate type (Not a directory)' Do you know of any similar directories we could use in place of /dev/null? -- gwern