diff options
author | Philipp Wollermann <philwo@google.com> | 2015-09-04 15:35:24 +0000 |
---|---|---|
committer | Damien Martin-Guillerez <dmarting@google.com> | 2015-09-04 16:32:27 +0000 |
commit | 369635536db085dd70124ace2e4ef604680148b4 (patch) | |
tree | 4e409c8edc81be20c9aa94b5c0e2245bcf0d1976 /src/test/java/com/google/devtools/build/lib/syntax | |
parent | e8f8dc599669a3a1c0a41d7bec95f80deb9203f0 (diff) |
sandbox: We have to move all generated outputs, not just regular files.
Fix for a part of bug #397.
--
MOS_MIGRATED_REVID=102343972
Diffstat (limited to 'src/test/java/com/google/devtools/build/lib/syntax')
0 files changed, 0 insertions, 0 deletions