diff options
| -rw-r--r-- | scripts/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/Makefile b/scripts/Makefile index 1272d9e6..69f83f30 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -48,8 +48,7 @@ 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 +# all-tests:: all; sh -x rootd.sh run test all-tests:: all python testbed.py -y testbed.1.yaml |