diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/Makefile b/scripts/Makefile index 6c82945e..f7e17ca2 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -51,4 +51,4 @@ rpki/relaxng.py: left-right-schema.rng up-down-schema.rng make-relaxng.py mv $@.tmp $@ test:: - sh testroot.sh run + sh -x testroot.sh run |