From 11db3db714f16846e984a6b783b361b08ca72a4e Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Sat, 21 Nov 2020 18:13:17 +0100
Subject: [PATCH] Makefile.include: silent emulate when debug% targets are used

---
 Makefile.include | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Makefile.include b/Makefile.include
index b8da964836..7337cfd531 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -743,12 +743,12 @@ debug-server:
 	$(DEBUGSERVER) $(DEBUGSERVER_FLAGS)
 
 emulate:
+ifeq (,$(filter debug%,$(MAKECMDGOALS)))
 	$(call check_cmd,$(EMULATOR),Emulation program)
 	$(EMULATOR) $(EMULATOR_FLAGS)
-
-emulate-debug-server:
-	$(call check_cmd,$(EMULATOR),Emulation program)
-	$(EMULATOR) $(EMULATOR_DEBUG_FLAGS)
+else
+	@:
+endif
 
 reset:
 	$(call check_cmd,$(RESET),Reset program)