From b80593c09e9ae37d9d13b4e8c988cf1e8da7efcb Mon Sep 17 00:00:00 2001
From: Isaac Ge <acgtyrant@gmail.com>
Date: Thu, 26 Feb 2015 15:58:06 +0800
Subject: [PATCH] Make test-wpt supports --release argument

Fixes #5056
---
 tests/wpt/run.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/tests/wpt/run.sh b/tests/wpt/run.sh
index 395cbfcb17a..365ad389097 100755
--- a/tests/wpt/run.sh
+++ b/tests/wpt/run.sh
@@ -5,6 +5,11 @@
 set -e
 
 wpt_root=$(dirname $0)
+binary_dir=$wpt_root/../../components/servo/target
+if [[ $1 ==  "--release" ]]; then
+    binary_dir=$binary_dir/release
+    shift
+fi
 
 PYTHON=$(which python2 2> /dev/null || echo python)
 VIRTUALENV=$(which virtualenv2 2> /dev/null || echo virtualenv)
@@ -20,6 +25,6 @@ fi
 
 python $wpt_root/run.py \
   --config $wpt_root/config.ini \
-  --binary $wpt_root/../../components/servo/target/servo \
+  --binary $binary_dir/servo \
   --log-mach - \
   "$@"