[Agda] Agda error reporting

[kahl at cas.mcmaster.ca]

The latest development version of Agda (my first pull since quite a while)
seems to truncate error messages to the first three lines when called
from the command line.
(Being on PowerPC, I don't have ghci, so I normally use the command line.)

I did

  darcs changes -v | less

and looked for ``take'', but didn't find anything suspicious-looking
back to 2nd December.

How can I get the full error messages back?


Wolfram