No need to call $(MAKE) again.

Signed-off-by: Anthony PERARD <anthony.perard@citrix.com>
---
 xen/tools/Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/xen/tools/Makefile b/xen/tools/Makefile
index e940939d61f4..4e42163f981c 100644
--- a/xen/tools/Makefile
+++ b/xen/tools/Makefile
@@ -2,8 +2,7 @@
 include $(XEN_ROOT)/Config.mk
 
 .PHONY: default
-default:
-	$(MAKE) symbols
+default: symbols
 
 .PHONY: clean
 clean:
-- 
Anthony PERARD

On 01.07.2021 16:09, Anthony PERARD wrote:
> No need to call $(MAKE) again.
> 
> Signed-off-by: Anthony PERARD <anthony.perard@citrix.com>

Acked-by: Jan Beulich <jbeulich@suse.com>