#12065: there is a way to override the .tix path with HPCTIXFILE
-------------------------------------+-------------------------------------
Reporter: kostmo | Owner: (none)
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Code Coverage | Version: 8.0.1
Resolution: fixed | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: Documentation | Unknown/Multiple
bug | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s): Phab:D3357
Wiki Page: |
-------------------------------------+-------------------------------------
Changes (by thomie):
* status: patch => closed
* resolution: => fixed
Comment:
In [changeset:"ee7241cfde455ab6731b9ce81b36247f082a1342/ghc"]:
{{{
Author: Edward Z. Yang