diff --git a/tests/data/DISABLED b/tests/data/DISABLED index eaa0e20532..d602e48fe4 100644 --- a/tests/data/DISABLED +++ b/tests/data/DISABLED @@ -65,7 +65,6 @@ 1528 1533 1540 -1554 1556 1591 1700 diff --git a/tests/data/test1554 b/tests/data/test1554 index c16195c17f..812a2c8c02 100644 --- a/tests/data/test1554 +++ b/tests/data/test1554 @@ -69,6 +69,12 @@ run 1: foobar and so on fun! <- Mutex unlock -> Mutex lock <- Mutex unlock +%if hyper +-> Mutex lock +<- Mutex unlock +-> Mutex lock +<- Mutex unlock +%endif run 1: foobar and so on fun! -> Mutex lock <- Mutex unlock