Merge pull request #111 from mikepurvis/avoid-stacks

Avoid putting the rosbuild stacks dir on RPP if it doesn't exist.
This commit is contained in:
Dirk Thomas 2016-08-05 10:19:55 -07:00 committed by GitHub
commit 0b34080563
1 changed files with 2 additions and 1 deletions

View File

@ -23,6 +23,7 @@ for workspace in workspaces:
data = f.read()
if data == '':
paths.append(os.path.join(workspace, 'share'))
if os.path.isdir(os.path.join(workspace, 'stacks')):
paths.append(os.path.join(workspace, 'stacks'))
else:
for source_path in data.split(';'):