Update the manifest twice to work around manifest generation issue.

servo · Nov 27, 2018 · 59500cd · 59500cd
1 parent 524bd72
commit 59500cd
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/etc/ci/update-wpt-checkout b/etc/ci/update-wpt-checkout
@@ -42,9 +42,11 @@ function unsafe_pull_from_upstream() {
 
     # Update the manifest to include the new changes.
     ./mach update-manifest || return 3
+    # Update the manifest again to reach a fixed state (https://github.com/servo/servo/issues/22235).
+    ./mach update-manifest || return 4
 
     # Amend the existing commit with the new changes from updating the manifest.
-    git commit -a --amend --no-edit || return 4
+    git commit -a --amend --no-edit || return 5
 }
 
 # Remove all local traces of this sync operation.