7 May
2010
7 May
'10
11:42 p.m.
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. -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH