From 3bf7794edf280562631b6a446024b815cc4b9630 Mon Sep 17 00:00:00 2001 From: Paul Cristian Sarbu Date: Thu, 28 Jul 2022 18:34:29 +0200 Subject: Add setup-env option to just-mr --- bin/just-mr.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'bin') diff --git a/bin/just-mr.py b/bin/just-mr.py index 2e088279..73b9b455 100755 --- a/bin/just-mr.py +++ b/bin/just-mr.py @@ -762,7 +762,7 @@ def main(): if not args: fail("Usage: %s []" % (sys.argv[0], )) - if args[0] == "setup": + if args[0] == "setup-env": # Setup for interactive use, i.e., fetch the required repositories # and generate an appropriate multi-repository configuration file. # Store it in the CAS and print its path on stdout. @@ -774,6 +774,11 @@ def main(): # correctly. print(setup(config=config, args=args[1:], interactive=True)) return + if args[0] == "setup": + # Setup such that the main repository keeps its workspace given in + # the input config. + print(setup(config=config, args=args[1:])) + return if args[0] == "build": build(config=config, args=args[1:]) if args[0] == "install": -- cgit v1.2.3