From c14f083d1667973769d0cdcf2041476b90a29fdd Mon Sep 17 00:00:00 2001 From: Mathieu Desnoyers Date: Sat, 27 Aug 2011 10:16:52 -0400 Subject: [PATCH] Move futex wakeup model to nto1-selective Signed-off-by: Mathieu Desnoyers --- futex-wakeup/{ => nto1-selective}/DEFINES | 0 futex-wakeup/{ => nto1-selective}/Makefile | 0 futex-wakeup/{ => nto1-selective}/futex.ltl | 0 futex-wakeup/{ => nto1-selective}/futex.spin | 0 .../futex_progress_inverted_waiting_vs_gp_futex.define | 0 futex-wakeup/{ => nto1-selective}/futex_progress_late_dec.define | 0 futex-wakeup/{ => nto1-selective}/futex_progress_no_wake.define | 0 7 files changed, 0 insertions(+), 0 deletions(-) rename futex-wakeup/{ => nto1-selective}/DEFINES (100%) rename futex-wakeup/{ => nto1-selective}/Makefile (100%) rename futex-wakeup/{ => nto1-selective}/futex.ltl (100%) rename futex-wakeup/{ => nto1-selective}/futex.spin (100%) rename futex-wakeup/{ => nto1-selective}/futex_progress_inverted_waiting_vs_gp_futex.define (100%) rename futex-wakeup/{ => nto1-selective}/futex_progress_late_dec.define (100%) rename futex-wakeup/{ => nto1-selective}/futex_progress_no_wake.define (100%) diff --git a/futex-wakeup/DEFINES b/futex-wakeup/nto1-selective/DEFINES similarity index 100% rename from futex-wakeup/DEFINES rename to futex-wakeup/nto1-selective/DEFINES diff --git a/futex-wakeup/Makefile b/futex-wakeup/nto1-selective/Makefile similarity index 100% rename from futex-wakeup/Makefile rename to futex-wakeup/nto1-selective/Makefile diff --git a/futex-wakeup/futex.ltl b/futex-wakeup/nto1-selective/futex.ltl similarity index 100% rename from futex-wakeup/futex.ltl rename to futex-wakeup/nto1-selective/futex.ltl diff --git a/futex-wakeup/futex.spin b/futex-wakeup/nto1-selective/futex.spin similarity index 100% rename from futex-wakeup/futex.spin rename to futex-wakeup/nto1-selective/futex.spin diff --git a/futex-wakeup/futex_progress_inverted_waiting_vs_gp_futex.define b/futex-wakeup/nto1-selective/futex_progress_inverted_waiting_vs_gp_futex.define similarity index 100% rename from futex-wakeup/futex_progress_inverted_waiting_vs_gp_futex.define rename to futex-wakeup/nto1-selective/futex_progress_inverted_waiting_vs_gp_futex.define diff --git a/futex-wakeup/futex_progress_late_dec.define b/futex-wakeup/nto1-selective/futex_progress_late_dec.define similarity index 100% rename from futex-wakeup/futex_progress_late_dec.define rename to futex-wakeup/nto1-selective/futex_progress_late_dec.define diff --git a/futex-wakeup/futex_progress_no_wake.define b/futex-wakeup/nto1-selective/futex_progress_no_wake.define similarity index 100% rename from futex-wakeup/futex_progress_no_wake.define rename to futex-wakeup/nto1-selective/futex_progress_no_wake.define -- 2.34.1