tools: Remove dead script
This is no longer the recommended way to do things. Just remove it. Change-Id: I2056169955b47e08993461012edb554d3311de40
This commit is contained in:
parent
0fe136a9e0
commit
e77cf002f0
|
@ -1,4 +0,0 @@
|
|||
#!/bin/bash
|
||||
TOOLS=`dirname $0`
|
||||
VENV=$TOOLS/../.venv
|
||||
source $VENV/bin/activate && $@
|
Loading…
Reference in New Issue