From 4560ca5adfcfdfb0ef82d4cae608353613840052 Mon Sep 17 00:00:00 2001 From: "Eric S. Raymond" Date: Wed, 16 May 2012 00:09:42 -0400 Subject: [PATCH] Workaround for the xmlto problem. --- coverity-submit | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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) -- 2.43.0