diff options
| author | Silvan Jegen <s.jegen@gmail.com> | 2016-09-15 20:58:43 +0200 |
|---|---|---|
| committer | Silvan Jegen <s.jegen@gmail.com> | 2016-09-15 20:58:43 +0200 |
| commit | 9e22721006311c4bd525799928a17ebb5ca211b1 (patch) | |
| tree | 02c5833bee862333bfc6c3f36ed24f76ab26b544 /Makefile | |
| parent | 244242a973d74a907066d73a54b20487401dd53c (diff) | |
Repeat the runs 10 times
We also only print the 'real' time.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions