updates on master-makefile of oooJava: generates a separate rcr executable file.
authoryeom <yeom>
Mon, 1 Nov 2010 22:43:01 +0000 (22:43 +0000)
committeryeom <yeom>
Mon, 1 Nov 2010 22:43:01 +0000 (22:43 +0000)
commit2185b9404d5b43eb9a51161908af674a8678ffdb
treeedf6529b967a692f89aa3ecee37ba4c2ca8f2b96
parente1dbf520a0dd73935e6c44a9715b16f015b43ff5
updates on master-makefile of oooJava: generates a separate rcr executable file.
Robust/src/Benchmarks/oooJava/master-makefile