From 297ca898fe35a91e1c690280ef5b0da41458b04d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Harter?= <gaetan.harter@fu-berlin.de>
Date: Thu, 22 Mar 2018 17:21:41 +0100
Subject: [PATCH] dist/tools/desvirt: use RIOTTOOLS variable

---
 dist/tools/desvirt/Makefile.desvirt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dist/tools/desvirt/Makefile.desvirt b/dist/tools/desvirt/Makefile.desvirt
index 5ce6bfe42e..b96dc8439e 100644
--- a/dist/tools/desvirt/Makefile.desvirt
+++ b/dist/tools/desvirt/Makefile.desvirt
@@ -1,7 +1,7 @@
 TOOL_NAME=desvirt
 TOOL_URL=https://github.com/des-testbed/desvirt.git
 TOOL_VERSION=master
-TOOL_DIR=$(RIOTBASE)/dist/tools/$(TOOL_NAME)/$(TOOL_NAME)
+TOOL_DIR=$(RIOTTOOLS)/$(TOOL_NAME)/$(TOOL_NAME)
 
 .PHONY: desvirt-check desvirt-check-topo-file desvirt-check-topo-args desvirt-clean \
         desvirt-distclean desvirt-define desvirt-undefine desvirt-start desvirt-stop desvirt-list
-- 
GitLab