diff options
| author | Sebastian Kuhnert | 2009-09-02 08:39:48 +0000 |
|---|---|---|
| committer | Sebastian Kuhnert | 2009-09-02 08:39:48 +0000 |
| commit | 6affa2159dea7c1a2292f197f3c27bdcc6ab2f68 (patch) | |
| tree | 4389f6fa1bfa3f6f2069640e068624253e0c3e35 | |
| parent | f19e058db12b71eb644ccadb54bb798ef6c420b1 (diff) | |
| download | exercisesheets-6affa2159dea7c1a2292f197f3c27bdcc6ab2f68.tar.gz exercisesheets-6affa2159dea7c1a2292f197f3c27bdcc6ab2f68.tar.bz2 exercisesheets-6affa2159dea7c1a2292f197f3c27bdcc6ab2f68.zip | |
make error summary less repetitive
| -rwxr-xr-x | texall | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -884,8 +884,11 @@ def main(arguments): if opts.summary in [ "failures", "both" ] : if errors: print "The following problems occured:" + lasterr="" for f in errors: - print " %s"%f + if f != lasterr: + print " %s"%f + lasterr = f if errors: sys.exit(1) |
