Workaround for failing-xmlto bug.

diff --git a/coverity-submit b/coverity-submit
index 1e0d2b6c3e6f7c76681effe9f4ff6c133602cd67..e703660238a8e0bfcb19c0b0fc2327eaa0e12f76 100755 (executable)
--- a/coverity-submit
+++ b/coverity-submit
@@ -93,6 +93,7 @@ def do_or_die(cmd):
 print("coverity-submit version %s..." % version)
 
 # Build local stuff
+os.environ["XML_CATALOG_FILE"] = '/etc/xml/catalog'
 print("Rebuilding and scanning...")
 if prebuild:
     do_or_die(prebuild)