From ed38bd86d4891eabec78b5b6c7a06c73cb70108a Mon Sep 17 00:00:00 2001
From: Leandro Lanzieri <leandro.lanzieri@haw-hamburg.de>
Date: Tue, 21 Apr 2020 20:21:04 +0200
Subject: [PATCH] makefiles/kconfiglib: Use RIOT specific menuconfig script

---
 makefiles/tools/kconfiglib.inc.mk | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/makefiles/tools/kconfiglib.inc.mk b/makefiles/tools/kconfiglib.inc.mk
index 00f2e35f28..a0983270b3 100644
--- a/makefiles/tools/kconfiglib.inc.mk
+++ b/makefiles/tools/kconfiglib.inc.mk
@@ -1,13 +1,14 @@
 # Define tools to use
-MENUCONFIG ?= $(RIOTTOOLS)/kconfiglib/menuconfig.py
+MENUCONFIG ?= $(RIOTTOOLS)/kconfiglib/riot_menuconfig.py
+BASE_MENUCONFIG ?= $(RIOTTOOLS)/kconfiglib/menuconfig.py
 GENCONFIG ?= $(RIOTTOOLS)/kconfiglib/genconfig.py
 MERGECONFIG ?= $(RIOTTOOLS)/kconfiglib/merge_config.py
 
-$(MENUCONFIG):
+$(BASE_MENUCONFIG):
 	@echo "[INFO] Kconfiglib not found - getting it"
 	@make -C $(RIOTTOOLS)/kconfiglib
 	@echo "[INFO] Kconfiglib downloaded"
 
-$(GENCONFIG): $(MENUCONFIG)
+$(GENCONFIG): $(BASE_MENUCONFIG)
 
-$(MERGECONFIG): $(MENUCONFIG)
+$(MERGECONFIG): $(BASE_MENUCONFIG)