diff options
| -rwxr-xr-x | utils/scan-build | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/utils/scan-build b/utils/scan-build index ceb793ba29..f2d66c60e6 100755 --- a/utils/scan-build +++ b/utils/scan-build @@ -503,7 +503,10 @@ ENDTEXT `chmod 755 $BaseDir`; my $Num = scalar(@Index); - Diag("$Num bugs found.\n") + Diag("$Num bugs found.\n"); + if ($Num > 0 && -r "$Dir/index.html") { + Diag("Open '$Dir/index.html' to examine bug reports.\n"); + } } ##----------------------------------------------------------------------------## |