[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Minios-devel] [UNIKRAFT/LIBLUA PATCH v2 6/6] Prevent make from deleting archive headers.
Thanks for the patch, Felipe!
Reviewed-by: Roxana Nicolescu <nicolescu.roxana1996@xxxxxxxxx>
On 16.10.2019 12:44, Felipe Huici wrote:
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
_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel
|
