fix build options
authorbdemsky <bdemsky>
Thu, 1 Oct 2009 06:50:36 +0000 (06:50 +0000)
committerbdemsky <bdemsky>
Thu, 1 Oct 2009 06:50:36 +0000 (06:50 +0000)
commit03fed8cc38db434bb633366c9eeffe5fca474343
treefe65f65bbd539703460cbd1732cbec14e8ca4c08
parent0bf8d3b2f9d38051b58debadf5978ccc00c5fd1b
fix build options
Robust/src/Benchmarks/SingleTM/common/Makefile.builds