makefile for compiling benchmarks with ownership analysis
authorjjenista <jjenista>
Fri, 12 Sep 2008 18:02:11 +0000 (18:02 +0000)
committerjjenista <jjenista>
Fri, 12 Sep 2008 18:02:11 +0000 (18:02 +0000)
commitd01c32ebf2e048c3875c07888dc109f5848c9322
tree6c057f4f0d11d921e52983f946bd6338dbc26dbf
parent1070419d131077498674de884cb0e8933e0a8052
makefile for compiling benchmarks with ownership analysis
Robust/src/Benchmarks/Ownership/makefile [new file with mode: 0644]