diff options
| -rwxr-xr-x | run-tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.sh b/run-tests.sh index d0a884b92b0..13e504ae9d0 100755 --- a/run-tests.sh +++ b/run-tests.sh @@ -1,3 +1,3 @@ #!/bin/bash -prove -r $(dirname $0)/tests; +prove -r --timer $(dirname $0)/tests; |