diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/with_venv.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/with_venv.sh b/tools/with_venv.sh index 633806f4..5143b556 100755 --- a/tools/with_venv.sh +++ b/tools/with_venv.sh @@ -27,4 +27,4 @@ while getopts ":hE:" opt; do done shift $((OPTIND-1)) -source "${venv}/bin/activate" && $@ +source "${venv}/bin/activate" && "$@" |