tree 07e4665bbaafce0ed7db5b67fc831bdd1c2b382f
parent 2b526bf7f36095fae1b1ab43c2c43c33a5c799a8
author Dan Willemsen <dwillemsen@google.com> 1549589697 -0800
committer Dan Willemsen <dwillemsen@google.com> 1549593833 -0800

Make the duplicate header copy warning more explicit

So that it's easier to understand which makefile is actually being used,
and which ones are being ignored.

Test: manually check the warnings on a device that sets BUILD_BROKEN_DUP_COPY_HEADERS
Change-Id: If9e29458eaa655b28e6b770d194d1da867cb8d16