diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-21T16·02+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-21T16·02+0000 |
commit | cae4efdca3a207b97244aef96161ad2974ec4e50 (patch) | |
tree | 6ccacbe7e54d77d63551ec3fdb4614b0d7b7bd84 /tests/gc-concurrent.builder.sh | |
parent | 0777448ca68175b6daf3d8f5374cf43523828c47 (diff) |
* Because --parse-only no longer produces an ATerm, don't check the
output. Whether it parses at all should be enough.
Diffstat (limited to 'tests/gc-concurrent.builder.sh')
0 files changed, 0 insertions, 0 deletions