diff options
| -rw-r--r-- | tests/data/DISABLED | 1 | ||||
| -rw-r--r-- | tests/data/test1554 | 6 |
2 files changed, 6 insertions, 1 deletions
diff --git a/tests/data/DISABLED b/tests/data/DISABLED index eaa0e2053..d602e48fe 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 c16195c17..812a2c8c0 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 |