From: Felipe Huici <felipe.huici@neclab.eu>
Date: Wed, 16 Oct 2019 09:44:55 +0000 (+0200)
Subject: Prevent make from deleting archive headers.
X-Git-Tag: RELEASE-0.4~1
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=9b3f3daa843dfbd2b61e8379d1315f7c3ed4411a;p=unikraft%2Flibs%2Flua.git

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 9251ff2..3c3d05a 100644
--- 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