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 /compile.sh | |
| 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 'compile.sh')
0 files changed, 0 insertions, 0 deletions