[Minios-devel] [UNIKRAFT/LIBLUA PATCH v2 6/6] Prevent make from deleting archive headers.

[Felipe Huici <felipe.huici@xxxxxxxxx>]

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
---
 Makefile.uk | 3 +++
 1 file changed, 3 insertions(+)

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
 
-- 
2.20.1


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel