projects
/
urcu.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
1to1 selective wakeup: add misorder injection test
[urcu.git]
/
futex-wakeup
/
nto1-selective
/
Makefile
diff --git
a/futex-wakeup/nto1-selective/Makefile
b/futex-wakeup/nto1-selective/Makefile
index 11d98e814dc70c19c6aba5384271e7f116d8ab74..2c7f84e0661b643d67db766e032204ea5bfb8a1f 100644
(file)
--- a/
futex-wakeup/nto1-selective/Makefile
+++ b/
futex-wakeup/nto1-selective/Makefile
@@
-29,6
+29,7
@@
default:
make futex_progress | tee futex_progress.log
make futex_progress_no_wake | tee futex_progress_no_wake.log
make futex_progress_late_dec | tee futex_progress_late_dec.log
make futex_progress | tee futex_progress.log
make futex_progress_no_wake | tee futex_progress_no_wake.log
make futex_progress_late_dec | tee futex_progress_late_dec.log
+ make futex_progress_misorder | tee futex_progress_misorder.log
make asserts | tee asserts.log
make summary
make asserts | tee asserts.log
make summary
@@
-68,6
+69,13
@@
futex_progress_late_dec: clean futex_ltl futex_progress_late_dec_define run_weak
futex_progress_late_dec_define:
cp futex_progress_late_dec.define .input.define
futex_progress_late_dec_define:
cp futex_progress_late_dec.define .input.define
+futex_progress_misorder: clean futex_ltl futex_progress_misorder_define run_weak_fair
+ cp .input.spin $@.spin.input
+ -cp .input.spin.trail $@.spin.input.trail
+
+futex_progress_misorder_define:
+ cp futex_progress_misorder.define .input.define
+
futex_ltl:
touch .input.define
cat DEFINES > pan.ltl
futex_ltl:
touch .input.define
cat DEFINES > pan.ltl
This page took
0.024269 seconds
and
4
git commands to generate.