diff --git a/bazel/scip.BUILD b/bazel/scip.BUILD index 5327d763f6..85c7677ec5 100644 --- a/bazel/scip.BUILD +++ b/bazel/scip.BUILD @@ -36,7 +36,8 @@ PLATFORM_FLAGS = select({ ], "on_windows": [ "/DSYM=none", - "/DSCIP_NO_SIGACTION" + "/DSCIP_NO_SIGACTION", + "/DSCIP_NO_STRTOK_R", ], "//conditions:default": [], })