diff options
author | Rob Austein <sra@build-u.rpki.net> | 2016-07-29 21:57:31 +0000 |
---|---|---|
committer | Rob Austein <sra@build-u.rpki.net> | 2016-07-29 21:57:31 +0000 |
commit | a0915be2d060d529ead265c37b7159199bfe42af (patch) | |
tree | 0f3c1ee597c81fd4926799b1221dbd1459e0c58f /rpki-pbuilder.sh | |
parent | ea2b3a78cc70b97a83d5ba3b8dcee6c4c12ace72 (diff) |
Whack with club until builds work with new repository and scripts.
Diffstat (limited to 'rpki-pbuilder.sh')
-rwxr-xr-x | rpki-pbuilder.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rpki-pbuilder.sh b/rpki-pbuilder.sh index 106db4b..29c62a1 100755 --- a/rpki-pbuilder.sh +++ b/rpki-pbuilder.sh @@ -9,7 +9,7 @@ set -x cd $HOME python rpki-pbuilder.py \ - --git-tree $HOME/source.ng/master/ \ + --git-tree $HOME/source.ng/rpki.net/ \ --apt-tree $HOME/repository.ng/ \ --url-path /APTng \ --releases debian/jessie ubuntu/xenial |