From 8b047d055ed62a83d5438fbe6060b41bb7218ce8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cenk=20G=C3=BCndo=C4=9Fan?= Date: Sun, 15 May 2016 21:22:47 +0200 Subject: [PATCH] tools: desvirt: rm unused TOPO_FLE var --- dist/tools/desvirt/Makefile.desvirt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/dist/tools/desvirt/Makefile.desvirt b/dist/tools/desvirt/Makefile.desvirt index c43a31cf4f..5ce6bfe42e 100644 --- a/dist/tools/desvirt/Makefile.desvirt +++ b/dist/tools/desvirt/Makefile.desvirt @@ -29,10 +29,10 @@ desvirt-check-topo-args: desvirt-check endif desvirt-define: desvirt-check-topo-file - cd $(TOOL_DIR) && ./vnet -d $(TOOL_DIR)/.desvirt/$(TOPO_FLE) -n $(basename $(TOPO)) + cd $(TOOL_DIR) && ./vnet -d $(TOOL_DIR)/.desvirt/ -n $(basename $(TOPO)) desvirt-undefine: desvirt-check-topo-file - cd $(TOOL_DIR) && ./vnet -u $(TOOL_DIR)/.desvirt/$(TOPO_FLE) -n $(basename $(TOPO)) + cd $(TOOL_DIR) && ./vnet -u $(TOOL_DIR)/.desvirt/ -n $(basename $(TOPO)) desvirt-start: desvirt-check-topo-file cd $(TOOL_DIR) && ./vnet -s -n $(basename $(TOPO))