Fixing Makefile hpc to use compat
authorandy@galois.com <unknown>
Wed, 27 Jun 2007 06:07:21 +0000 (06:07 +0000)
committerandy@galois.com <unknown>
Wed, 27 Jun 2007 06:07:21 +0000 (06:07 +0000)
commit9fde8e7e6e08680f2c6addc5f1ed2232db71b604
tree61c961848d098e552a95c6c106cf83fc8e0e33dd
parent272d9683a9eabfd8e10f689b2a6cfb19b9071722
Fixing Makefile hpc to use compat
utils/hpc/Makefile