diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-01-04T12·45+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2012-01-04T12·45+0000 |
commit | 9d43a0238235cfbe914e2051db89095699a2df95 (patch) | |
tree | 8759279c2872d91f2ef0ef4888b92bc519cc061a /tests/simple.builder.sh | |
parent | a0477a458fa9fd7fbe090ff8cebcfd162c090b43 (diff) |
* Let --disable-gc work.
Diffstat (limited to 'tests/simple.builder.sh')
0 files changed, 0 insertions, 0 deletions