diff --git a/src/Makefile.housekeeping b/src/Makefile.housekeeping
index 0cd9994a4..f227fdd76 100644
--- a/src/Makefile.housekeeping
+++ b/src/Makefile.housekeeping
@@ -1553,6 +1553,8 @@ $(CONFIG_LOCAL_NAMED_HEADERS) :
 
 .PRECIOUS : $(CONFIG_LOCAL_NAMED_HEADERS)
 
+UNANNOTATED	+= $(CONFIG_LOCAL_NAMED_HEADERS)
+
 endif
 
 ###############################################################################