diff options
Diffstat (limited to 'myrpki/Makefile')
-rw-r--r-- | myrpki/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/myrpki/Makefile b/myrpki/Makefile index d8d30598..bcadc044 100644 --- a/myrpki/Makefile +++ b/myrpki/Makefile @@ -3,7 +3,7 @@ all:: relatives all:: myrpki.xml all:: lint -all:: parse +#all:: parse all:: load myrpki.xml: myrpki.py asns.csv prefixes.csv roas.csv validity.csv @@ -22,7 +22,7 @@ load: myrpki.xml myrpki.rng python myirbe.py clean: - rm -rf *.xml *.pem bpki + rm -rf *.xml bpki bpki.myrpki bpki.rpkid bpki.pubd bpki.rootd relatives: mom.pem dad.pem bro.pem sis.pem |