add rcr-pointer option
authorbdemsky <bdemsky>
Fri, 18 Mar 2011 08:37:40 +0000 (08:37 +0000)
committerbdemsky <bdemsky>
Fri, 18 Mar 2011 08:37:40 +0000 (08:37 +0000)
commita153ba614a2711c908b362fa9d06f1b635354cb6
treeee408d7fd413ddebf0f3ed7a29f19996f5d7ff01
parent3476ae84a1e274a26a0247c99271fc068494da59
add rcr-pointer option
Robust/src/Benchmarks/oooJava/master-makefile