From: Eric S. Raymond <esr@thyrsus.com>
Date: Wed, 16 May 2012 04:09:42 +0000 (-0400)
Subject: Workaround for the xmlto problem.
X-Git-Tag: 1.0~3
X-Git-Url: http://thyrsus.com/gitweb/?a=commitdiff_plain;h=4560ca5adfcfdfb0ef82d4cae608353613840052;p=coverity-submit.git

Workaround for the xmlto problem.
---

diff --git a/coverity-submit b/coverity-submit
index e703660..8fc0595 100755
--- 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)