Fixing -fhpc flag to allow -fno-hpc
authorandy@galois.com <unknown>
Wed, 27 Jun 2007 05:38:08 +0000 (05:38 +0000)
committerandy@galois.com <unknown>
Wed, 27 Jun 2007 05:38:08 +0000 (05:38 +0000)
commit3e664735852117e5756472695b194055f5869510
treea6571a45bf8c63c9614de503e07cd0e9937f01f9
parent878924ac03219f02c857b0c3a95bb47a4a427d55
Fixing -fhpc flag to allow -fno-hpc
compiler/main/StaticFlags.hs