diff options
| author | Rob Austein <sra@hactrn.net> | 2016-08-07 20:16:23 -0400 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2016-08-07 20:16:23 -0400 |
| commit | f0321a09941327985fe8b3dde4d6f5ab873720db (patch) | |
| tree | 051b2e97f2bea52244d58b7ebf50c03112c56c1d | |
| parent | a0915be2d060d529ead265c37b7159199bfe42af (diff) | |
Verify commit signature on HEAD before building from it.
| -rw-r--r-- | rpki-pbuilder.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rpki-pbuilder.py b/rpki-pbuilder.py index 942782e..3a9d1b1 100644 --- a/rpki-pbuilder.py +++ b/rpki-pbuilder.py @@ -102,6 +102,7 @@ except (IOError, OSError), e: run("git", "fetch", "--all", "--prune", cwd = args.git_tree) run("git", "pull", cwd = args.git_tree) +run("git", "verify-commit", "HEAD", cwd = args.git_tree) source_version = subprocess.check_output((sys.executable, os.path.join(args.git_tree, "buildtools/make-version.py"), "--build-tag", "--stdout"), cwd = args.git_tree).strip() |