diff options
Diffstat (limited to 'myrpki/Makefile')
| -rw-r--r-- | myrpki/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/myrpki/Makefile b/myrpki/Makefile index d36a5906..4aaeb0b5 100644 --- a/myrpki/Makefile +++ b/myrpki/Makefile @@ -35,3 +35,6 @@ format: myrpki.xml graph: for b in bpki.myrpki bpki.rpkid bpki.pubd bpki.rootd; do python ../scripts/x509-dot.py $$b | dot -T ps2 | ps2pdf - $$b/graph.pdf; done + +verify: + sh verify-bpki.sh |