]> xenbits.xensource.com Git - unikraft/unikraft.git/commit
projects / unikraft / unikraft.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 624cfe6) | patch
build: Print actual build directory name with `properclean`
authorSimon Kuenzer <simon@unikraft.io>
Thu, 27 Jul 2023 20:44:50 +0000 (22:44 +0200)
committerUnikraft <monkey@unikraft.io>
Fri, 11 Aug 2023 10:21:30 +0000 (10:21 +0000)
commit0c6f0837adf88835ce09d910cb188b9c5fedd5a1
tree5af812dda7e62f91ac39e5a9065c8ec1ab5f6a5btree
parent624cfe67907c14f0ef804b1ad28ba51ab04a257acommit | diff
build: Print actual build directory name with `properclean`

This commit corrects the output of the `properclean` make target. Instead
of just outputting `RM build/`, the currently configured build directory is
printed.

Signed-off-by: Simon Kuenzer <simon@unikraft.io>
Reviewed-by: Alexander Jung <alex@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #1034
Makefile diff | blob | blame | history
Unikraft