diff options
author | Jakob Unterwurzacher | 2016-09-20 19:45:28 +0200 |
---|---|---|
committer | Jakob Unterwurzacher | 2016-09-25 16:43:17 +0200 |
commit | d9db75ebd263510dfcf93853f0e111012b82f828 (patch) | |
tree | b631b9005a3e6bb518c3b990acb9f9f23612a369 /benchmark.bash | |
parent | 3d59c7dd6a39312e8672185cc70b9c24e22380ec (diff) |
main: factor out cli arg parsing
The main function has gotten way too big.
Diffstat (limited to 'benchmark.bash')
0 files changed, 0 insertions, 0 deletions