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

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

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(-)

-- 
2.22.0

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