diff --git a/build/check_embedded.pl b/build/check_embedded.pl index bdcfa9ca..55274c52 100755 --- a/build/check_embedded.pl +++ b/build/check_embedded.pl @@ -127,6 +127,8 @@ sub comment { # $num2038 = 0; +my $total_certs = 0; + while (<>) { #