]> xenbits.xensource.com Git - unikraft/libs/lua.git/commit
projects / unikraft / libs / lua.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 872c21c) | patch
Prevent make from deleting archive headers.
authorFelipe Huici <felipe.huici@neclab.eu>
Wed, 16 Oct 2019 09:44:55 +0000 (11:44 +0200)
committerFelipe Huici <felipe.huici@neclab.eu>
Wed, 20 Nov 2019 08:59:57 +0000 (09:59 +0100)
commit9b3f3daa843dfbd2b61e8379d1315f7c3ed4411a
treeaf2db497fa28f03f4a7a31fc2d1199d2885c9929tree
parent872c21c41e3b2aa6d0718d209079c7a68d3ac612commit | diff
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>
Makefile.uk diff | blob | blame | history
Lua port