commit 6fe297fcc55189d92d0b6f5820f960ef5719e083
author Dan Willemsen <dwillemsen@google.com> Sun Dec 15 00:04:15 2019 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Sun Dec 15 00:04:15 2019 +0000
tree 05a1a8e62af56c539d990c549b8f018eba56c82e
parent 793147469e64cbb0594d567ce386a39667072720
parent 79a0caff3536baf74ca1bd1395b104f4df151f8e

Merge "Write list of copy headers"

core/Makefile

diff --git a/core/Makefile b/core/Makefile
index 9946d42..1ec40a0 100644
--- a/core/Makefile
+++ b/core/Makefile
@@ -94,6 +94,8 @@
   $(error duplicate header copies are no longer allowed. For more information about headers, see: https://android.googlesource.com/platform/build/soong/+/master/docs/best_practices.md#headers)
 endif
 
+$(file >$(PRODUCT_OUT)/.copied_headers_list,$(TARGET_OUT_HEADERS) $(ALL_COPIED_HEADERS))
+
 # -----------------------------------------------------------------
 # docs/index.html
 ifeq (,$(TARGET_BUILD_APPS))