preserve ROS_MAVEN_DEPLOYMENT_REPOSITORY if already set and part of w…

…orkspace chain
rosjava · Sep 22, 2018 · 0729ea3 · 0729ea3
1 parent 5b5afb4
commit 0729ea3
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/generate_environment_variables.py b/generate_environment_variables.py
@@ -45,8 +45,12 @@ def get_environment_variable(environ, key):
         repo = get_environment_variable(environment_variables, 'ROS_MAVEN_DEPLOYMENT_REPOSITORY')
         if repo is None:
             repo = os.path.join(workspaces[0], 'share', 'maven')
-        else:
+        else: #ROS_MAVEN_DEPLOYMENT_REPOSITORY is already set
             if repo in [os.path.join(w, 'share', 'maven') for w in workspaces]:
+                # ROS_MAVEN_DEPLOYMENT_REPOSITORY is part of workspace chain
+                pass
+            else:
+                # ROS_MAVEN_DEPLOYMENT_REPOSITORY is NOT part of workspace chain, set to top-most workspace
                 repo = os.path.join(workspaces[0], 'share', 'maven')
         print(repo)
     elif args.maven_repository: