Look for errors reported by PGI too.

This commit is contained in:
Stephen Kelly 2011-08-24 19:43:04 +02:00
parent e0cc024dc9
commit 89108b99ec