diff options
Diffstat (limited to 'rpkid')
| -rw-r--r-- | rpkid/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/rpkid/Makefile b/rpkid/Makefile index da318514..cf76ac11 100644 --- a/rpkid/Makefile +++ b/rpkid/Makefile @@ -82,12 +82,15 @@ rpki/relaxng.py: make-relaxng.py # all-tests:: all; sh -x rootd.sh run -test all-tests:: all +all-tests:: all python testbed.py -y testbed.1.yaml all-tests:: all python testbed.py -y testbed.2.yaml +test all-tests:: all + python testbed.py -y testbed.3.yaml + # Documentation doc/irdbd.dot: irdbd.sql |