diff options
| -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 c8d2940fc..550c4774e 100755 --- a/tools/with_venv.sh +++ b/tools/with_venv.sh @@ -1,4 +1,4 @@ #!/bin/bash TOOLS=`dirname $0` VENV=$TOOLS/../.venv -source $VENV/bin/activate && $@ +source $VENV/bin/activate && "$@" |