From 6e6a3568d031715d53e5a5b8f3affc68ec54885d Mon Sep 17 00:00:00 2001
From: "Eric S. Raymond" <esr@thyrsus.com>
Date: Tue, 15 May 2012 23:37:56 -0400
Subject: [PATCH] Workaround for failing-xmlto bug.

---
 coverity-submit | 1 +
 1 file changed, 1 insertion(+)

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)
-- 
2.43.0