Prevent make from deleting archive headers.

Add a PRECIOUS target to make sure that make does not treat archive
headers as intermediate and ends up deleting them.

Signed-off-by: Felipe Huici
Reviewed-by: Roxana Nicolescu <nicolescu.roxana1996@gmail.com>

diff --git a/Makefile.uk b/Makefile.uk
index 9251ff20553a7d2204b663a9587d5350b2f76bda..3c3d05a17789e8fda107be882378c185fb118b74 100644 (file)
--- a/Makefile.uk
+++ b/Makefile.uk
@@ -93,6 +93,9 @@ LIBLUA_SRCS-y += $(LIBLUA_SRCS_BASE)/linit.c
 ################################################################################
 # Libray API headers
 ################################################################################
+# Make sure that make does not treat the headers from the archive as intermediate
+.PRECIOUS: $(LIBLUA_SRCS_BASE)/%.h
+
 $(LIBLUA_SRCS_BASE)/%.h: $(LIBLUA_BUILD)/.origin
        @# empty recipe to enforce dependency to archive extraction