From 0b4c7470d217c20b0b890341940ee371ff64e1af Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Leroy=20R=C3=BCgemer?= <lruegeme@techfak.uni-bielefeld.de> Date: Thu, 29 Mar 2018 15:12:29 +0200 Subject: [PATCH] version bump, fix for catkin tools add path even if no workspace markerfile to include unfinished catkin tools isolated builds in maven repositories --- generate_environment_variables.py | 2 +- package.xml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/generate_environment_variables.py b/generate_environment_variables.py index 8aa944a..3bf54af 100755 --- a/generate_environment_variables.py +++ b/generate_environment_variables.py @@ -24,7 +24,7 @@ def get_workspaces(environ): value = environ[env_name] if env_name in environ else '' paths = [path for path in value.split(os.pathsep) if path] # remove non-workspace paths - workspaces = [path.replace(' ', '\ ') for path in paths if os.path.isfile(os.path.join(path, CATKIN_MARKER_FILE))] + workspaces = [path.replace(' ', '\ ') for path in paths] return workspaces def get_environment_variable(environ, key): diff --git a/package.xml b/package.xml index 2aa1789..c887256 100644 --- a/package.xml +++ b/package.xml @@ -1,6 +1,6 @@ <package> <name>rosjava_build_tools</name> - <version>0.3.3</version> + <version>0.3.4</version> <description> Simple tools and catkin modules for rosjava development. </description> -- GitLab