| Andrew Geissler | b7d2861 | 2020-07-24 16:15:54 -0500 | [diff] [blame] | 1 | #!/bin/bash |
| 2 | |||||
| Andrew Geissler | b7d2861 | 2020-07-24 16:15:54 -0500 | [diff] [blame] | 3 | TIME=$(which time) |
| 4 | |||||
| Andrew Geissler | 595f630 | 2022-01-24 19:11:47 +0000 | [diff] [blame] | 5 | echo "runtests" |
| 6 | ${TIME} -f 'Execution time: %e s' bash -c "./runtests -v" | ||||
| 7 | echo "runtestspp" | ||||
| Patrick Williams | 73bd93f | 2024-02-20 08:07:48 -0600 | [diff] [blame] | 8 | ${TIME} -f 'Execution time: %e s' bash -c "./runtests_cxx -v" |
| Andrew Geissler | b7d2861 | 2020-07-24 16:15:54 -0500 | [diff] [blame] | 9 | echo |