diff options
author | Sander Vrijders <sander.vrijders@ugent.be> | 2018-04-23 16:55:35 +0200 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@ugent.be> | 2018-04-25 13:03:36 +0200 |
commit | 94cebef59c46404e20c6d71752ebfb80147d122a (patch) | |
tree | a3c5f267b90dd44f57ec3925358e53fe92012967 /tools | |
parent | d845e0ea1a821373b3f105c72542184aa1e3ca26 (diff) | |
download | rumba-94cebef59c46404e20c6d71752ebfb80147d122a.tar.gz rumba-94cebef59c46404e20c6d71752ebfb80147d122a.zip |
examples: Make scalingtime.py more generic
This makes scalingtime.py more generic by allowing the user to pass
command-line arguments to select the prototype, testbed, ...
Fixes #50
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions