diff options
| -rwxr-xr-x | testsuite/semko/nodwf07.stp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/semko/nodwf07.stp b/testsuite/semko/nodwf07.stp index 4a2cf4a5..b48562f9 100755 --- a/testsuite/semko/nodwf07.stp +++ b/testsuite/semko/nodwf07.stp @@ -12,4 +12,4 @@ probe kernel.function("*") { probe timer.sec(15) { exit() } -' +' >/dev/null |