Workaround for the xmlto problem.

diff --git a/coverity-submit b/coverity-submit
index e703660238a8e0bfcb19c0b0fc2327eaa0e12f76..8fc0595a95eeab4f81534c24e8329e491f8b233d 100755 (executable)
--- a/coverity-submit
+++ b/coverity-submit
@@ -92,8 +92,11 @@ def do_or_die(cmd):
 # Announce self
 print("coverity-submit version %s..." % version)
 
+# Work around a known bug in environment restoration under cove-build.
+# Without this, xmlto won't run.
+os.environ["XML_CATALOG_FILES"] = '/etc/xml/catalog'
+
 # Build local stuff
-os.environ["XML_CATALOG_FILE"] = '/etc/xml/catalog'
 print("Rebuilding and scanning...")
 if prebuild:
     do_or_die(prebuild)