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 && "$@"