diff options
author | 2016-10-31 13:54:28 +0000 | |
---|---|---|
committer | 2016-10-31 15:04:59 +0000 | |
commit | 176ff2b4ada5c407c39bf4ea45ef2e64a7c154a6 (patch) | |
tree | 466c5bf9937aa50895eb45f5d4b0d67113f93f90 /src/main/java/com/google/devtools/build/lib/actions/DigestOfDirectoryException.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/DigestOfDirectoryException.java')
0 files changed, 0 insertions, 0 deletions