X-Git-Url: http://git.lttng.org./?a=blobdiff_plain;ds=sidebyside;f=formal-model%2Furcu-paulmck%2Furcu.sh;h=0c5e492ad9da008e812beeae5d915a9cdb5f65d6;hb=4ce9e4f28aa6de3f3443066c7a64d12156904d6b;hp=8ef0e871f2cd8ef4cc3b9de59bfc334a1870ea02;hpb=3162dfe1928d4d6bf857f8e9e1c814eb8a994a0d;p=userspace-rcu.git

diff --git a/formal-model/urcu-paulmck/urcu.sh b/formal-model/urcu-paulmck/urcu.sh
index 8ef0e87..0c5e492 100644
--- a/formal-model/urcu-paulmck/urcu.sh
+++ b/formal-model/urcu-paulmck/urcu.sh
@@ -1,3 +1,3 @@
 spin -a urcu-paulmck.spin 
-cc -DSAFETY -o pan pan.c
-./pan
+cc -DNP -o pan pan.c
+./pan -f -l