Add an option to run against a different repo directory.
This commit is contained in:
parent
b43194baee
commit
ea5abe2ca7
|
@ -16,8 +16,8 @@ def main(args=sys.argv[1:]):
|
||||||
"""
|
"""
|
||||||
Perform the final Zcash release process up to the git tag.
|
Perform the final Zcash release process up to the git tag.
|
||||||
"""
|
"""
|
||||||
chdir_to_repo()
|
|
||||||
opts = parse_args(args)
|
opts = parse_args(args)
|
||||||
|
chdir_to_repo(opts.REPO)
|
||||||
initialize_logging()
|
initialize_logging()
|
||||||
logging.debug('argv %r parsed %r', sys.argv, opts)
|
logging.debug('argv %r parsed %r', sys.argv, opts)
|
||||||
|
|
||||||
|
@ -40,6 +40,12 @@ def main_logged(release, releaseprev):
|
||||||
|
|
||||||
def parse_args(args):
|
def parse_args(args):
|
||||||
p = argparse.ArgumentParser(description=main.__doc__)
|
p = argparse.ArgumentParser(description=main.__doc__)
|
||||||
|
p.add_argument(
|
||||||
|
'--repo',
|
||||||
|
dest='REPO',
|
||||||
|
type=str,
|
||||||
|
help='Path to repository root.',
|
||||||
|
)
|
||||||
p.add_argument(
|
p.add_argument(
|
||||||
'RELEASE_VERSION',
|
'RELEASE_VERSION',
|
||||||
type=Version.parse_arg,
|
type=Version.parse_arg,
|
||||||
|
@ -90,10 +96,11 @@ def verify_git_clean_master():
|
||||||
|
|
||||||
|
|
||||||
# Helper code:
|
# Helper code:
|
||||||
def chdir_to_repo():
|
def chdir_to_repo(repo):
|
||||||
dn = os.path.dirname
|
if repo is None:
|
||||||
repodir = dn(dn(os.path.abspath(sys.argv[0])))
|
dn = os.path.dirname
|
||||||
os.chdir(repodir)
|
repo = dn(dn(os.path.abspath(sys.argv[0])))
|
||||||
|
os.chdir(repo)
|
||||||
|
|
||||||
|
|
||||||
def initialize_logging():
|
def initialize_logging():
|
||||||
|
|
Loading…
Reference in New Issue