From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Aug 2013 00:12:06 +0000 (-0700)
Subject: README.md: add linux locks example
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8866cf9c0a61cdd5b9798d5207afa070df69d7b4;p=cdsspec-compiler.git

README.md: add linux locks example
---

diff --git a/README.md b/README.md
index 2041295..9804a28 100644
--- a/README.md
+++ b/README.md
@@ -121,8 +121,9 @@ the benchmarks as follows:
 
 >     make benchmarks
 >     cd benchmarks
->     ./run.sh barrier/barrier -y -m 2     # runs barrier test with fairness/memory liveness
->     ./bench.sh                           # run all benchmarks and provide timing results
+>     ./run.sh barrier/barrier -y -m 2           # runs barrier test with fairness/memory liveness
+>     ./run.sh linuxrwlocks/linuxrwlocks -y -m 2 # Linux RW locks test with fairness/liveness
+>     ./bench.sh                                 # run all benchmarks and provide timing results
 
 
 Running your own code