equal
deleted
inserted
replaced
50 # developer config: verify.skipflags |
50 # developer config: verify.skipflags |
51 self.skipflags = repo.ui.configint('verify', 'skipflags') |
51 self.skipflags = repo.ui.configint('verify', 'skipflags') |
52 self.warnorphanstorefiles = True |
52 self.warnorphanstorefiles = True |
53 |
53 |
54 def warn(self, msg): |
54 def warn(self, msg): |
|
55 """record a "warning" level issue""" |
55 self.ui.warn(msg + "\n") |
56 self.ui.warn(msg + "\n") |
56 self.warnings += 1 |
57 self.warnings += 1 |
57 |
58 |
58 def err(self, linkrev, msg, filename=None): |
59 def err(self, linkrev, msg, filename=None): |
59 if linkrev is not None: |
60 if linkrev is not None: |