diff options
Diffstat (limited to 'scripts/Old/master.sh')
| -rw-r--r-- | scripts/Old/master.sh | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/scripts/Old/master.sh b/scripts/Old/master.sh deleted file mode 100644 index 8f59d357..00000000 --- a/scripts/Old/master.sh +++ /dev/null @@ -1,24 +0,0 @@ -#!/bin/sh - -# $Id$ - -scripts="subvert-rpki.hactrn.net/scripts" - -repositories="ca-trial.ripe.net/RIPE ca-trial.ripe.net/ARIN repository.apnic.net" - -cd `dirname $0` - -. $scripts/mirror-apnic.sh -. $scripts/mirror-ripe.sh - -perl $scripts/gen-verify-test.pl $repositories | -tee verify.sh | -sh 2>&1 | -tee verify.log - -perl $scripts/make-hashes.pl $repositories | -tee make-hashes.sh | -sh 2>&1 | -tee make-hashes.log - -sh $scripts/check-hashes.sh 2>&1 | -tee check-hashes.log |