Propagate error code from fetching WPT changes.

servo · Feb 12, 2018 · 97b218d · 97b218d
1 parent 9c94fe4
commit 97b218d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/etc/ci/update-wpt-checkout b/etc/ci/update-wpt-checkout
@@ -164,6 +164,8 @@ function main() {
         if [[ "${code}" == "255" ]]; then
             echo "No changes to sync."
             return 0
+        elif [[ "${code}" != "" ]]; then
+            return "${code}"
         fi
     fi