diff options
author | Stephen Finucane <sfinucan@redhat.com> | 2017-01-04 10:45:08 +0000 |
---|---|---|
committer | Stephen Finucane <sfinucan@redhat.com> | 2017-01-04 10:45:41 +0000 |
commit | 98b9001a7b64c25b692a5579233d2bfb62fb4226 (patch) | |
tree | 1e4a5573514a396b47ea65a6ef9f16cef838842f /tools | |
parent | 4559faffd95da45d4194da3adc02920710ec89d6 (diff) | |
download | nova-98b9001a7b64c25b692a5579233d2bfb62fb4226.tar.gz |
tools: Remove 'with_venv'
Nothing appears to use this any more. No point in keeping it around.
Change-Id: I7150c78f55fd2eb639ed85c868d38461219fda12
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/with_venv.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/tools/with_venv.sh b/tools/with_venv.sh deleted file mode 100755 index 94e05c127d..0000000000 --- a/tools/with_venv.sh +++ /dev/null @@ -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 && "$@" |