diff options
author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2019-04-21 09:52:48 +0300 |
---|---|---|
committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2019-04-21 09:52:48 +0300 |
commit | feed98e1892b0486eb08f21ed07f0012f52f10ae (patch) | |
tree | 8137660275f654dd0bbbbc0b05b8335af295fad4 /contrib | |
parent | 56376f336548b53cf31e98a58dfb4db22cede6e5 (diff) |
Ensure repos are up-to-date
These steps are provided by the release process.
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/gitian-build.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/contrib/gitian-build.py b/contrib/gitian-build.py index fc7fbb764d..a9cfb3e35b 100755 --- a/contrib/gitian-build.py +++ b/contrib/gitian-build.py @@ -220,6 +220,10 @@ def main(): subprocess.check_call(['git', 'checkout', args.commit]) os.chdir(workdir) + os.chdir('gitian-builder') + subprocess.check_call(['git', 'pull']) + os.chdir(workdir) + if args.build: build() @@ -227,6 +231,9 @@ def main(): sign() if args.verify: + os.chdir('gitian.sigs') + subprocess.check_call(['git', 'pull']) + os.chdir(workdir) verify() if __name__ == '__main__': |