X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;f=futex-wakeup%2Fnto1-selective%2FMakefile;fp=futex-wakeup%2Fnto1-selective%2FMakefile;h=11d98e814dc70c19c6aba5384271e7f116d8ab74;hb=fda9aff00dcdf7cb49892d79f861d0acfb475514;hp=2b6e243c89e8c5ccb129923254ee4addb619585f;hpb=7f12dad2ba26c922477cc5999f7efef43ce26748;p=urcu.git

diff --git a/futex-wakeup/nto1-selective/Makefile b/futex-wakeup/nto1-selective/Makefile
index 2b6e243..11d98e8 100644
--- a/futex-wakeup/nto1-selective/Makefile
+++ b/futex-wakeup/nto1-selective/Makefile
@@ -29,7 +29,6 @@ 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 asserts | tee asserts.log
 	make summary
 
@@ -69,13 +68,6 @@ 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
-	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_ltl:
 	touch .input.define
 	cat DEFINES > pan.ltl