ignore errors of git fetch --tag as this fails on a case-insensitive filesystem like...

[build.git] / module-tools.py

diff --git a/module-tools.py b/module-tools.py
index 11acc1e..85e4e3e 100755 (executable)
--- a/module-tools.py
+++ b/module-tools.py
@@ -199,7 +199,7 @@ class GitRepository:
             self.__run_command_in_repo("git checkout {}".format(branch))
         else:
             self.to_branch(branch, remote=True)
-        self.__run_command_in_repo("git fetch origin --tags")
+        self.__run_command_in_repo("git fetch origin --tags", ignore_errors=True)
         self.__run_command_in_repo("git fetch origin")
         if not self.__is_commit_id(branch):
             # we don't need to merge anything for commit ids.
@@ -958,8 +958,8 @@ n: move to next file""".format(**locals()))
                 self.html_store_title("Diffs in module {} ({}) : {} chars"\
                                       .format(thename, self.last_tag(spec_dict), len(diff_output)))
 
-                self.html_store_raw('<p> &lt; (left) {} </p>'"{:<16} {}".format(tag_name))
-                self.html_store_raw('<p> &gt; (right) {} </p>'"{:<16} {}".format(thename))
+                self.html_store_raw('<p> &lt; (left) {} </p>'.format(tag_name))
+                self.html_store_raw('<p> &gt; (right) {} </p>'.format(thename))
                 self.html_store_pre(diff_output)
             elif not self.options.www:
                 print('x'*30, 'module', thename)