Merge "tools: Remove 'with_venv'"

2017-02-23 12:42:17 +00:00
parent b6c32ade17 98b9001a7b
commit 71f92d4f3a
1 changed files with 0 additions and 7 deletions
@@ -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 && "$@"