]> thyrsus.com Git - coverity-submit.git/commitdiff
Typo fix.
authorEric S. Raymond <esr@thyrsus.com>
Wed, 5 Sep 2012 14:34:42 +0000 (10:34 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Wed, 5 Sep 2012 14:34:42 +0000 (10:34 -0400)
coverity-submit

index a00372bd7e7bcb13c4dd4dfd6d8452f3c953416c..69fc5ade037143fdfade57ab0287c57fa051b01b 100755 (executable)
@@ -79,7 +79,7 @@ if __name__ == '__main__':
     # Announce self
     print("coverity-submit version %s..." % version)
 
-    # Work around a known bug in environment restoration under cove-build.
+    # Work around a known bug in environment restoration under cov-build.
     # Without this, xmlto won't run.
     os.environ["XML_CATALOG_FILES"] = '/etc/xml/catalog'