Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-09-07 05:28:21 +01:00
Code Issues Projects Releases Packages Wiki Activity

Propagate error code from fetching WPT changes.

Browse source
This commit is contained in:
Josh Matthews 2018-02-11 22:09:20 -05:00 • committed by GitHub
parent 9c94fe4279
commit 97b218d098
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
etc/ci/update-wpt-checkout
View file

@ -164,6 +164,8 @@ function main() {
if [[ "${code}" == "255" ]]; then if [[ "${code}" == "255" ]]; then
echo "No changes to sync." echo "No changes to sync."
return 0 return 0
elif [[ "${code}" != "" ]]; then
return "${code}"
fi fi
fi fi