[pph] Add header files to pph.map (issue4639073)

[Diego Novillo]

On Mon, Jun 27, 2011 at 13:01, Gabriel Charette <gchare@google.com> wrote:
> Couldn't we have headers look for their corresponding .pph file by
> default when -fpph-map is on? (especially since pph.map is only
> temporary for the implementation phase)

The problem is with headers that include other headers.  We want to
limit the generation of images to specific headers.  Given that we are
in this initial implementation phase, the simplest approach is to
remember to update pph.map.

> Could that also be why the small test I tried to introduce last week
> to test the ordering of the bindings coming from the pph would pass
> (i.e. it wouldn't use it's pph as I didn't add it to pph.map?).

Yes, that's likely.


Diego.