diff --git a/tools/with_venv.sh b/tools/with_venv.sh
index 5c4a271e4..63f5b9837 100755
--- a/tools/with_venv.sh
+++ b/tools/with_venv.sh
@@ -18,4 +18,4 @@
 
 TOOLS=`dirname $0`
 VENV=$TOOLS/../.venv
-source $VENV/bin/activate && $@
+source $VENV/bin/activate && "$@"