diff options
-rw-r--r-- | apps/engine.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/apps/engine.c b/apps/engine.c index 3b3464a849..953b4d97a2 100644 --- a/apps/engine.c +++ b/apps/engine.c @@ -520,6 +520,14 @@ skip_digests: ret=0; end: +#else + +# if PEDANTIC + +void *dummy=&dummy; + +# endif + ERR_print_errors(bio_err); sk_pop_free(engines, identity); sk_pop_free(pre_cmds, identity); |