diff options
| author |  Damien Martin-Guillerez <dmarting@google.com> | 2016-03-30 15:58:46 +0000 |
|---|---|---|
| committer |  Klaus Aehlig <aehlig@google.com> | 2016-03-31 07:08:52 +0000 |
| commit | 3f29d42284386e3c3cadf3e48251c1ad7bb90f66 (patch) | |
| tree | 8cc4af4230b81227b00d2615fb91e0396d1c37e8 /src/test/shell | |
| parent | d6d04e071c43ed2160e8281bd5564f12d8f4f821 (diff) | |
Fix workspace name setting when the WORKSPACE file is splitted
If a load statement is present in the WORKSPACE file, the
workspace name attribute will be lost from the WORKSPACE file.
--
MOS_MIGRATED_REVID=118577315
Diffstat (limited to 'src/test/shell')
0 files changed, 0 insertions, 0 deletions