diff options
Diffstat (limited to 'scripts/Makefile')
| -rw-r--r-- | scripts/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/Makefile b/scripts/Makefile index fdcb54b3..1272d9e6 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -48,6 +48,9 @@ rpki/relaxng.py: left-right-schema.rng up-down-schema.rng make-relaxng.py python make-relaxng.py >$@.tmp mv $@.tmp $@ +all-tests:: all + sh -x rootd.sh run + test all-tests:: all python testbed.py -y testbed.1.yaml |