diff options
Diffstat (limited to 'examples/futexes.stp')
| -rw-r--r-- | examples/futexes.stp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/futexes.stp b/examples/futexes.stp index 78af3c92..515a8db6 100644 --- a/examples/futexes.stp +++ b/examples/futexes.stp @@ -5,7 +5,7 @@ global thread_thislock # short global thread_blocktime # -global FUTEX_WAIT = 0, FUTEX_WAKE = 1 +global FUTEX_WAIT = 0 /*, FUTEX_WAKE = 1 */ global lock_waits # long-lived stats on (tid,lock) blockage elapsed time global process_names # long-lived pid-to-execname mapping |