diff options
| author | Jakob Unterwurzacher | 2016-09-20 19:49:44 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-09-25 16:43:17 +0200 |
| commit | 9ad49088fa7b919cee850818b61ad1d6bc5d3df3 (patch) | |
| tree | 2ed9dee89c495f3c29f4c4532a782a5357ff727e /benchmark-synthetic.bash | |
| parent | d9db75ebd263510dfcf93853f0e111012b82f828 (diff) | |
main: add explicit exit after forkChild
Trying to make it more obvious what is happening.
Diffstat (limited to 'benchmark-synthetic.bash')
0 files changed, 0 insertions, 0 deletions