Add setup-env option to just-mr

1 files changed, 6 insertions, 1 deletions

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 <cmd> [<args>]" % (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":