browser(webkit): do run win build again if first attempt failed (#4881)

microsoft · Jan 4, 2021 · 3ff81fe · 3ff81fe
1 parent 706c1e4
commit 3ff81fe
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/browser_patches/webkit/BUILD_NUMBER b/browser_patches/webkit/BUILD_NUMBER
@@ -1,2 +1,2 @@
-1411
-Changed: [email protected] Mon Jan  4 10:57:20 PST 2021
+1412
+Changed: [email protected] Mon 04 Jan 2021 01:36:20 PM PST
diff --git a/browser_patches/webkit/build.sh b/browser_patches/webkit/build.sh
@@ -70,7 +70,7 @@ elif [[ "$(uname)" == "Linux" ]]; then
     build_wpe
   fi
 elif [[ "$(uname)" == MINGW* ]]; then
-  /c/Windows/System32/cmd.exe "/c $(cygpath -w ${SCRIPT_FOLDER}/buildwin.bat)"
+  /c/Windows/System32/cmd.exe "/c $(cygpath -w ${SCRIPT_FOLDER}/buildwin.bat)" ||
   # Run build step twice on Windows to work around adjust-angle-include-paths.py not
   # being called at right time. See
   # https://github.com/WebKit/WebKit/commit/e9a19fe7e3c245252be6ed70c86639d09227a6dc
Original file line number	Diff line number	Diff line change
		@@ -1,2 +1,2 @@
		1411
		Changed: [email protected] Mon Jan 4 10:57:20 PST 2021
		1412
		Changed: [email protected] Mon 04 Jan 2021 01:36:20 PM PST