diff options
Diffstat (limited to 'tools/times.sh')
| -rwxr-xr-x | tools/times.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/times.sh b/tools/times.sh new file mode 100755 index 00000000..444da993 --- /dev/null +++ b/tools/times.sh @@ -0,0 +1,6 @@ +#!/bin/sh + +time test/RegressTests.py ./ledger test/regress +time test/RegressTests.py ./ledger test/regress --verify +time test/RegressTests.py ./ledger test/regress --gmalloc +time test/RegressTests.py ./ledger test/regress --verify --gmalloc |