From 9f8e7740e47cdca427db3375c3cc50e26c2602cc Mon Sep 17 00:00:00 2001 From: Alessandre Laguierce Date: Mon, 24 Mar 2025 09:04:10 +0100 Subject: [PATCH] fix: for a green thor --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 3f265e5..ec9dcbd 100644 --- a/Makefile +++ b/Makefile @@ -16,8 +16,8 @@ bins+=31-switch-many bins+=32-switch-many-join bins+=33-switch-many-cascade bins+=51-fibonacci -bins+=61-mutex -bins+=62-mutex +#bins+=61-mutex +#bins+=62-mutex bins+=71-preemption bins+=81-deadlock