diff --git a/generate_environment_variables.py b/generate_environment_variables.py index 8aa944a387b055296b4aade514e759642e85ddce..3bf54af66701121d7c486a6dff830a8e00f00566 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 2aa17896b053dbcb4877e5f695bcdf4da1bfb2ef..c8872561019fe8a93611b7b0ba9c696ad742d6fc 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>