diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/test/wpt/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/test/wpt/run.sh b/src/test/wpt/run.sh index 56bf1eec177..c1b4350000e 100755 --- a/src/test/wpt/run.sh +++ b/src/test/wpt/run.sh @@ -9,7 +9,7 @@ objdir="$2" shift 2 cd $objdir/.. -test -d _virtualenv || virtualenv _virtualenv +test -d _virtualenv || virtualenv _virtualenv -p $(which $PYTHON) test -d $servo_root/src/test/wpt/metadata || mkdir -p $servo_root/src/test/wpt/metadata test -d $servo_root/src/test/wpt/prefs || mkdir -p $servo_root/src/test/wpt/prefs source _virtualenv/bin/activate |