commit | 20417bcd180e1a3e6a95b1a116956bc5ebecba7d | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 05 21:14:16 2002 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Aug 05 21:14:16 2002 +0000 |
tree | c84a697b772e35fc034deb921f63e50f6dafd9fc | |
parent | c4ff194bdd0b70241a8e56cfaa07d76eff6f3585 [diff] |
Better output for errors, and some progress reports. Handle the two modules with non-standard scanner module names.