Adding environment variable HPCTIXDIR, a directory to place tix results.
authorandy@galois.com <unknown>
Tue, 8 Apr 2008 23:24:50 +0000 (23:24 +0000)
committerandy@galois.com <unknown>
Tue, 8 Apr 2008 23:24:50 +0000 (23:24 +0000)
commitcc52f604e67ad4b45ce449e7b957379f7a85855f
treeb24a3ad700cbc94cf35fc6101cf4b41ba06c1a3d
parent8a70e6c09a4c2fd768365d1aac18f4a3c9a30649
Adding environment variable HPCTIXDIR, a directory to place tix results.
rts/Hpc.c