Re: [Minios-devel] [UNIKRAFT PATCH 0/5] build: Introduce `clean-libs`

[Sharan Santhanam <sharan.santhanam@xxxxxxxxx>]

Hello Simon,

Thank you for this patch series. I will upstream this patch series by 
tomorrow.
Thanks & Regards
Sharan

On 7/22/19 2:31 PM, Simon Kuenzer wrote:
> This patch series introduces the make target `clean-libs`. Similar to `clean`,
> it cleans the build directory but still keeps final image files (including
> *.gz, *.dbg, *.sym).
>
> Florian Schmidt (1):
>    build: add clean-libs rule
>
> Simon Kuenzer (4):
>    build: Introduce UK_DEBUG_IMAGES, UK_DEBUG_IMAGES-y
>    plat/linuxu: Support UK_DEBUG_IMAGES(-y)
>    plat/kvm: Support UK_DEBUG_IMAGES(-y)
>    plat/xen: Support UK_DEBUG_IMAGES(-y)
>
>   Makefile              | 21 ++++++----
>   plat/kvm/Linker.uk    | 56 +++++++++++++-------------
>   plat/linuxu/Linker.uk | 39 +++++++++---------
>   plat/xen/Linker.uk    | 93 +++++++++++++++++++++++--------------------
>   4 files changed, 111 insertions(+), 98 deletions(-)
_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel