diff options
| author |  Cal Peyser <cpeyser@google.com> | 2016-10-31 13:54:28 +0000 |
|---|---|---|
| committer |  Laszlo Csomor <laszlocsomor@google.com> | 2016-10-31 15:04:59 +0000 |
| commit | 176ff2b4ada5c407c39bf4ea45ef2e64a7c154a6 (patch) | |
| tree | 466c5bf9937aa50895eb45f5d4b0d67113f93f90 /src/main/java/com/google/devtools/build/lib/actions/DelegateSpawn.java | |
| parent | bb922271323b418addba47807b84ef71c195af96 (diff) | |
ObjcCompileAction provides all headers to sandboxed execution. This allows
headers pruned by .d pruning to be re-added if they are changed.
--
MOS_MIGRATED_REVID=137697323
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/actions/DelegateSpawn.java')
0 files changed, 0 insertions, 0 deletions