diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-05-30 17:16:01 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-05-30 17:16:01 +0200 |
commit | 925097c86df2707a381d10c75445f57110b47d83 (patch) | |
tree | abeb020fdb1e3939b8d4c5a83116355dec957158 /src/benchmark/Makefile.am | |
parent | 848c7f0e4fe3adde77e1cb1e1b4677dd5ef2ca0e (diff) |
adding --pool-size option to benchmark,
correcting comments
Diffstat (limited to 'src/benchmark/Makefile.am')
0 files changed, 0 insertions, 0 deletions