diff --git a/tools/with_venv.sh b/tools/with_venv.sh
index 633806f45d..5143b5560c 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" && "$@"