chore: adapt cygwin

zhjwpku · zhjwpku · commit 6ae47fd87f4d · 2026-05-01T22:01:11.000+08:00
diff --git a/ci/scripts/build_example.sh b/ci/scripts/build_example.sh
@@ -26,7 +26,7 @@ mkdir ${build_dir}
 pushd ${build_dir}
 
 is_windows() {
-    [[ "${OSTYPE}" == "msys" || "${OSTYPE}" == "win32" ]]
+    [[ "${OSTYPE}" == "msys" || "${OSTYPE}" == "win32" || "${OSTYPE}" == "cygwin" ]]
 }
 
 CMAKE_ARGS=(
diff --git a/ci/scripts/build_iceberg.sh b/ci/scripts/build_iceberg.sh
@@ -28,7 +28,7 @@ mkdir ${build_dir}
 pushd ${build_dir}
 
 is_windows() {
-    [[ "${OSTYPE}" == "msys" || "${OSTYPE}" == "win32" ]]
+    [[ "${OSTYPE}" == "msys" || "${OSTYPE}" == "win32" || "${OSTYPE}" == "cygwin" ]]
 }
 
 CMAKE_ARGS=(

Original file line number	Diff line number	Diff line change
`@@ -26,7 +26,7 @@ mkdir ${build_dir}`
`26`	`26`	`pushd ${build_dir}`
`27`	`27`
`28`	`28`	`is_windows() {`
`29`		`- [[ "${OSTYPE}" == "msys" \|\| "${OSTYPE}" == "win32" ]]`
	`29`	`+ [[ "${OSTYPE}" == "msys" \|\| "${OSTYPE}" == "win32" \|\| "${OSTYPE}" == "cygwin" ]]`
`30`	`30`	`}`
`31`	`31`
`32`	`32`	`CMAKE_ARGS=(`
Original file line number	Diff line number	Diff line change
`@@ -28,7 +28,7 @@ mkdir ${build_dir}`
`28`	`28`	`pushd ${build_dir}`
`29`	`29`
`30`	`30`	`is_windows() {`
`31`		`- [[ "${OSTYPE}" == "msys" \|\| "${OSTYPE}" == "win32" ]]`
	`31`	`+ [[ "${OSTYPE}" == "msys" \|\| "${OSTYPE}" == "win32" \|\| "${OSTYPE}" == "cygwin" ]]`
`32`	`32`	`}`
`33`	`33`
`34`	`34`	`CMAKE_ARGS=(`