diff options
author | cpeyser <cpeyser@google.com> | 2017-05-09 18:55:15 -0400 |
---|---|---|
committer | Kristina Chodorow <kchodorow@google.com> | 2017-05-10 13:37:11 -0400 |
commit | 8a90a88d35ddedc071c603b8889c95a76d0ccbff (patch) | |
tree | c70c529b7c5530b2b56e0ef4a9b02c08a6a541bd /site | |
parent | 927e31d522f37baec06b0f77183f6f0c715e080e (diff) |
When --crosstool_compilation_support=library/all, user header search paths from
child configurations are used in compilation.
PiperOrigin-RevId: 155564865
Diffstat (limited to 'site')
0 files changed, 0 insertions, 0 deletions