From 5d85510d955dc4cf74675e199df656a06e2b0467 Mon Sep 17 00:00:00 2001 From: Ms2ger Date: Mon, 28 Apr 2014 16:20:52 +0200 Subject: [PATCH] Make wpt use mach-style logging by default. --- src/test/wpt/run.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/src/test/wpt/run.sh b/src/test/wpt/run.sh index 5a6a71ffc51..1d05280d0db 100755 --- a/src/test/wpt/run.sh +++ b/src/test/wpt/run.sh @@ -19,4 +19,5 @@ fi python $servo_root/src/test/wpt/run.py \ --config $servo_root/src/test/wpt/config.ini \ --binary $objdir/../servo \ + --log-mach - \ "$@"