So, here's a proposed patch to fix this. It adds more output (on
stderr) in the case of failure. It does not change the output in the
case of success.I installed it. Saw nothing to change, and make distcheck still succeeded. Thanks as always, Bruno. -k
