about summary refs log tree commit diff
path: root/externals
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-04-21T16·02+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-04-21T16·02+0000
commitcae4efdca3a207b97244aef96161ad2974ec4e50 (patch)
tree6ccacbe7e54d77d63551ec3fdb4614b0d7b7bd84 /externals
parent0777448ca68175b6daf3d8f5374cf43523828c47 (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 'externals')
0 files changed, 0 insertions, 0 deletions