tools: Remove 'with_venv'

Nothing appears to use this any more. No point in keeping it around.

Change-Id: I7150c78f55fd2eb639ed85c868d38461219fda12
This commit is contained in:
Stephen Finucane 2017-01-04 10:45:08 +00:00
parent 4559faffd9
commit 98b9001a7b
1 changed files with 0 additions and 7 deletions

View File

@ -1,7 +0,0 @@
#!/bin/bash
tools_path=${tools_path:-$(dirname $0)}
venv_path=${venv_path:-${tools_path}}
venv_dir=${venv_name:-/../.venv}
TOOLS=${tools_path}
VENV=${venv:-${venv_path}/${venv_dir}}
source ${VENV}/bin/activate && "$@"