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 2b6e243c89e8c5ccb129923254ee4addb619585f..2c7f84e0661b643d67db766e032204ea5bfb8a1f 100644 (file)
--- a/futex-wakeup/nto1-selective/Makefile
+++ b/futex-wakeup/nto1-selective/Makefile
@@ -29,7 +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_inverted_waiting_vs_gp_futex | tee futex_progress_inverted_waiting_vs_gp_futex.define.log
+       make futex_progress_misorder | tee futex_progress_misorder.log
        make asserts | tee asserts.log
        make summary
 
@@ -69,12 +69,12 @@ 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_inverted_waiting_vs_gp_futex: clean futex_ltl futex_progress_inverted_waiting_vs_gp_futex_define run_weak_fair
+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_inverted_waiting_vs_gp_futex_define:
-       cp futex_progress_inverted_waiting_vs_gp_futex.define .input.define
+futex_progress_misorder_define:
+       cp futex_progress_misorder.define .input.define
 
 futex_ltl:
        touch .input.define