about summary refs log tree commit diff
path: root/configure.ac
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2007-01-13T15·11+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2007-01-13T15·11+0000
commit501158845919c8bdf4297a8a76a916dc5b9a7943 (patch)
tree3b1cdebf531a374750ee1fd9aa626181c837eff0 /configure.ac
parent792878af911bd1913706a1a8ee5a18f7230352ef (diff)
* printTermAsXML: treat derivations specially; emit an element
  <derivation outPath=... drvPath=...> attrs </derivation>.  Only emit
  the attributes of any specific derivation only.  This prevents
  exponententially large XML output due to the absense of sharing.

Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions