Do not stop testheaders.sh on the first error, to be compatible with
"make -k check".
If testheaders.sh stops on the first error, it becomes very difficult to
test your changes with "make check" when somebody else broke some other
code.
TODO: stop on the first error unless running under "make -k check".
Alex.
This archive was generated by hypermail 2.2.0 : Mon May 03 2010 - 12:00:06 MDT