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