diff options
Diffstat (limited to 'scripts/otp_html_check')
| -rwxr-xr-x | scripts/otp_html_check | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/otp_html_check b/scripts/otp_html_check index 62d5b47edd..d9c49ef30a 100755 --- a/scripts/otp_html_check +++ b/scripts/otp_html_check @@ -409,6 +409,10 @@ if (keys %anchor_refs) { } } +if (keys %missing || keys %anchor_refs) { + exit 1; +} + ########################################################################### |