tools/docker: fix python build script

Mizux · Mizux · commit bd07ceceff5c · 2023-11-24T13:48:38.000+01:00
diff --git a/tools/docker/python/build-manylinux.sh b/tools/docker/python/build-manylinux.sh
@@ -132,7 +132,7 @@ function check_wheel() {
     "ortools/test/test.pyi"
   )
   for FILE in "${MYPY_FILES[@]}"; do
-    if [[ ! -f "${BUILD_DIR}/build/python/${FILE}" ]]; then
+    if [[ ! -f "${BUILD_DIR}/python/${FILE}" ]]; then
       echo "error: ${FILE} missing in the python project"
       exit 1
     fi

Original file line number	Diff line number	Diff line change
`@@ -132,7 +132,7 @@ function check_wheel() {`
`132`	`132`	`"ortools/test/test.pyi"`
`133`	`133`	`)`
`134`	`134`	`for FILE in "${MYPY_FILES[@]}"; do`
`135`		`- if [[ ! -f "${BUILD_DIR}/build/python/${FILE}" ]]; then`
	`135`	`+ if [[ ! -f "${BUILD_DIR}/python/${FILE}" ]]; then`
`136`	`136`	`echo "error: ${FILE} missing in the python project"`
`137`	`137`	`exit 1`
`138`	`138`	`fi`