diff options
| author | hallgren <hallgren@chalmers.se> | 2014-02-07 13:57:13 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-02-07 13:57:13 +0000 |
| commit | 9a422839cc8bf6090fa35042ddd18e9372d854c0 (patch) | |
| tree | 37229c0e35376ec84de0037b64927c2eb6fe1083 /src/runtime/javascript | |
| parent | 957dfb83b6f7ee0835d32b5930d47b133e678592 (diff) | |
pgf-shell: enable -rtsopts, call performGC between commands
This is to make it easier to find the cause of space leaks.
Diffstat (limited to 'src/runtime/javascript')
0 files changed, 0 insertions, 0 deletions