Home
last modified time | relevance | path

Searched refs:workspace_content (Results 1 – 1 of 1) sorted by relevance

/external/tink/python/
Dsetup.py132 workspace_content = f.read()
136 workspace_content = _patch_with_local_path(workspace_content, base_path)
142 workspace_content = _patch_with_http_archive(workspace_content,
146 workspace_content = _patch_with_http_archive(workspace_content,
150 f.write(workspace_content)
153 def _patch_with_local_path(workspace_content, base_path): argument
158 workspace_content,
162 def _patch_with_http_archive(workspace_content, filename, prefix): argument
165 workspace_lines = workspace_content.split('\n')
169 if http_archive_load not in workspace_content:
[all …]