diff --git a/dev-tools/scripts/checkJavadocLinks.py b/dev-tools/scripts/checkJavadocLinks.py index 9a4dbf714ad..15b56ec2448 100644 --- a/dev-tools/scripts/checkJavadocLinks.py +++ b/dev-tools/scripts/checkJavadocLinks.py @@ -65,7 +65,7 @@ class FindHyperlinks(HTMLParser): pass else: self.printFile() - print(' WARNING: anchor "%s" appears more than once' % name) + raise RuntimeError('anchor "%s" appears more than once' % name) else: self.anchors.add(name) elif href is not None: