Searched refs:workspace_name (Results 1 – 2 of 2) sorted by relevance
37 const string &workspace_name = it.second[index]; in DebugString() local41 str.append(workspace_name); in DebugString()
84 workspace_name=None, argument89 if not workspace_name:90 workspace_name = 'workspace_%s' % name93 env = {'WORKSPACE_NAME': workspace_name}