diff options
Diffstat (limited to 'utils/print_rpki_manifest/print_rpki_manifest.c')
| -rw-r--r-- | utils/print_rpki_manifest/print_rpki_manifest.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/utils/print_rpki_manifest/print_rpki_manifest.c b/utils/print_rpki_manifest/print_rpki_manifest.c index 508850a3..ef0e67d2 100644 --- a/utils/print_rpki_manifest/print_rpki_manifest.c +++ b/utils/print_rpki_manifest/print_rpki_manifest.c @@ -189,6 +189,9 @@ int main (int argc, char *argv[]) } } + argc -= optind; + argv += optind; + while (argc-- > 0) result |= read_manifest(*argv++, print_cms, 1, 1) == NULL; return result; |