diff options
| -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() |