From: Mathieu Desnoyers Date: Wed, 14 Oct 2009 07:27:34 +0000 (-0400) Subject: update X-Git-Url: https://git.lttng.org/?p=urcu.git;a=commitdiff_plain;h=6e63423374d03c2c55383e19586e3d1b89a9df73 update Signed-off-by: Mathieu Desnoyers --- diff --git a/ticketlock-testwait/mem-progress.spin b/ticketlock-testwait/mem-progress.spin index 818f445..c503fba 100644 --- a/ticketlock-testwait/mem-progress.spin +++ b/ticketlock-testwait/mem-progress.spin @@ -54,15 +54,11 @@ inline do_pause() { if :: need_pause() -> - if + do :: 1 -> - do - :: 1 -> - skip; - od; - :: 1 -> skip; - fi; - :: else -> + skip; + od; + :: 1 -> skip; fi; }