projects
/
userspace-rcu.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Update formal model from local copy
[userspace-rcu.git]
/
formal-model
/
urcu-controldataflow
/
Makefile
diff --git
a/formal-model/urcu-controldataflow/Makefile
b/formal-model/urcu-controldataflow/Makefile
index de47dffd6e289e1aff252dd250006a80342c1f2d..abf201c5d5d558b5af542f76f4940eb51b8fe9c5 100644
(file)
--- a/
formal-model/urcu-controldataflow/Makefile
+++ b/
formal-model/urcu-controldataflow/Makefile
@@
-23,7
+23,8
@@
#liveness
#CFLAGS=-DHASH64 -DCOLLAPSE -DMA=88
-CFLAGS=-DHASH64
+CFLAGS=-DHASH64 -DCOLLAPSE
+#CFLAGS=-DHASH64
SPINFILE=urcu.spin
This page took
0.023255 seconds
and
4
git commands to generate.