diff options
| author | FUJITA Tomonori <fujita.tomonori@gmail.com> | 2019-09-08 22:43:08 +0900 |
|---|---|---|
| committer | FUJITA Tomonori <fujita.tomonori@gmail.com> | 2019-09-08 22:43:08 +0900 |
| commit | 25438b289c9c37a6f6a067b087836b979025e611 (patch) | |
| tree | 100b23a5f12b34f25b40e58b22f79588c97e2e0e /tools/config | |
| parent | 07e70de118842609a8e1e4740fdb82179f4bdaca (diff) | |
execute rpki validation for policy only when it's necessary
currently, validate is executed even if the result is not necessary.
Signed-off-by: FUJITA Tomonori <fujita.tomonori@gmail.com>
Diffstat (limited to 'tools/config')
0 files changed, 0 insertions, 0 deletions