new make setup
authorbdemsky <bdemsky>
Wed, 1 Jul 2009 01:52:36 +0000 (01:52 +0000)
committerbdemsky <bdemsky>
Wed, 1 Jul 2009 01:52:36 +0000 (01:52 +0000)
commit473fc21eabcfda083f565689093204d4a87d3911
tree3c4362d1f22cfd75ff7fe5ead62799bff145e2eb
parent0fbfe5263f8776a21e6d9ff26c2370298d699658
new make setup
Robust/src/Benchmarks/SingleTM/common/Makefile.builds [new file with mode: 0644]
Robust/src/Benchmarks/SingleTM/common/Makefile.flags [new file with mode: 0644]