Only return VERIFY_FAILED from a single point
Everything else is a fatal error. Also improve documentation about that for
the vrfy callback.
diff --git a/scripts/generate_errors.pl b/scripts/generate_errors.pl
index c0d9685..4697438 100755
--- a/scripts/generate_errors.pl
+++ b/scripts/generate_errors.pl
@@ -94,7 +94,7 @@
my $found_hl = grep $_ eq $module_name, @high_level_modules;
if (!$found_ll && !$found_hl)
{
- polarssl_printf("Error: Do not know how to handle: $module_name\n");
+ printf("Error: Do not know how to handle: $module_name\n");
exit 1;
}