aboutsummaryrefslogtreecommitdiff
path: root/bootstrap
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2016-06-03 02:28:57 +0200
committerMarcello Stanisci <marcello.stanisci@inria.fr>2016-06-03 02:28:57 +0200
commit9259c2bc69688e633904e345c12ec8e01788ca1a (patch)
tree83011dd67bbd049bee6803b53d3b55af1532d135 /bootstrap
parentece2f5f3898b4d707116adbfcba49646c2bbd0a2 (diff)
anti-segfault comments, cancelling pending operation when shutting down benchmark
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions