diff options
Diffstat (limited to 'tools/wks-util.c')
| -rw-r--r-- | tools/wks-util.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/wks-util.c b/tools/wks-util.c index 183bdcd68..1b47612bd 100644 --- a/tools/wks-util.c +++ b/tools/wks-util.c @@ -164,7 +164,8 @@ wks_parse_policy (policy_flags_t flags, estream_t stream, int ignore_unknown) if (!err && !es_feof (stream)) err = gpg_error_from_syserror (); - leave: + + leave: if (err) log_error ("error reading '%s', line %d: %s\n", es_fname_get (stream), lnr, gpg_strerror (err)); |