From: Eric S. Raymond <esr@thyrsus.com>
Date: Wed, 16 May 2012 03:37:56 +0000 (-0400)
Subject: Workaround for failing-xmlto bug.
X-Git-Tag: 1.0~4
X-Git-Url: http://thyrsus.com/gitweb/?a=commitdiff_plain;h=6e6a3568d031715d53e5a5b8f3affc68ec54885d;p=coverity-submit.git

Workaround for failing-xmlto bug.
---

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