diff options
| author |  Manuel Klimek <klimek@google.com> | 2016-02-04 12:34:47 +0000 |
|---|---|---|
| committer |  David Chen <dzc@google.com> | 2016-02-04 18:14:54 +0000 |
| commit | c5efa1ca6d6084b344f2ab49a5d9bbee1c809e43 (patch) | |
| tree | 3bcc4604e9c3887db64c6fbbd8682f2b594ecd62 /src/main/java/com/google/devtools/build/lib/ideinfo | |
| parent | 177ec024dc21e78948cb9fe032df36c07a632d01 (diff) | |
Allow switching on header processing (parse_headers or preprocess_headers)
for targets in the transitive closure of a target that is built.
Rollback of commit e01291a1a3d65cd706190c9bf0c8cfc585f38eb7.
Added an additional test to check that the configuration value is actually
effectively used.
--
MOS_MIGRATED_REVID=113836105
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/ideinfo')
0 files changed, 0 insertions, 0 deletions