diff options
Diffstat (limited to 'scripts/Makefile')
| -rw-r--r-- | scripts/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/Makefile b/scripts/Makefile index f582c06e..d34bf46d 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -51,4 +51,6 @@ rpki/relaxng.py: left-right-schema.rng up-down-schema.rng make-relaxng.py python make-relaxng.py >$@.tmp mv $@.tmp $@ -test:: all ; sh -x rootd.sh run +#test:: all ; sh -x rootd.sh run + +test:: all ; python testbed.py |