Browse Source

tools: desvirt: rm unused TOPO_FLE var

pr/spi.typo
Cenk Gündoğan 6 years ago
parent
commit
8b047d055e
  1. 4
      dist/tools/desvirt/Makefile.desvirt

4
dist/tools/desvirt/Makefile.desvirt vendored

@ -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))

Loading…
Cancel
Save