Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

Don't ignore errors in wpt/run.sh.

Browse source
This commit is contained in:
Ms2ger 2014-04-28 16:23:22 +02:00
parent 5d85510d95
commit 593b538817
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/test/wpt/run.sh
View file

@ -2,6 +2,8 @@
# License, v. 2.0. If a copy of the MPL was not distributed with this # License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/. # file, You can obtain one at http://mozilla.org/MPL/2.0/.
set -e
servo_root="$1" servo_root="$1"
objdir="$2" objdir="$2"
shift 2 shift 2