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

diff --git a/Makefile b/Makefile
index 51141c9db3291efeb9862a4d3efa7396175c63b8..0eb943871627f39b02708b5f183b8e8c9c90d287 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -483,7 +483,7 @@ $(foreach _M,$(wildcard $(addsuffix Makefile.rules,\
 ################################################################################
 # Declare them before we depend on having .config
 properclean:
-       $(call verbose_cmd,RM,build/,$(RM) -r \
+       $(call verbose_cmd,RM,$(notdir $(BUILD_DIR)),$(RM) -r \
                $(BUILD_DIR))
 
 distclean: properclean