diff options
Diffstat (limited to 'src/run.bash')
| -rwxr-xr-x | src/run.bash | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/run.bash b/src/run.bash index 3801e4a61..0210d9fb9 100755 --- a/src/run.bash +++ b/src/run.bash @@ -53,6 +53,10 @@ time make test time ./run ) || exit $? +(xcd ../test/bench +./timing.sh -test +) || exit $? + (xcd ../test ./run ) || exit $? |