blob: dbf602ca800219d85c2a2955cfdfcb934394ea61 (
plain)
1
2
3
4
5
6
7
8
9
|
#!/bin/bash
TIME=$(which time)
echo "runtests"
${TIME} -f 'Execution time: %e s' bash -c "./runtests -v"
echo "runtestspp"
${TIME} -f 'Execution time: %e s' bash -c "./runtestspp -v"
echo
|