Diffusion nofib bed591d4aa45

Remove DEFAULT_TMPDIR

Authored by bgamari on Aug 29 2016, 5:09 PM.

Description

Remove DEFAULT_TMPDIR

The logic for this was ripped out of GHC quite some time ago.

Details

Committed
bgamariAug 29 2016, 5:09 PM
Parents
rNOFIB6dc2b467c71c: Fix parsing cachegrind output.
Branches
Unknown
Tags
Unknown