google / oss-fuzz

OSS-Fuzz - continuous fuzzing for open source software.
https://google.github.io/oss-fuzz
Apache License 2.0
10.39k stars 2.21k forks source link

opensk: Fix build #12013

Closed maflcko closed 4 months ago

maflcko commented 4 months ago

Needed because of https://github.com/google/oss-fuzz/issues/11626#issuecomment-2092460968

github-actions[bot] commented 4 months ago

maflcko is a new contributor to projects/opensk. The PR must be approved by known contributors before it can be merged. The past contributors are: kaczmarczyck, ia0, catenacyber, jmichelp

maflcko commented 4 months ago

cc @kaczmarczyck

maflcko commented 4 months ago

Yes, it can be bumped or removed in the future. But there are some blockers that need to be fixed first.

kaczmarczyck commented 4 months ago

Confirming this fixed the build problem: https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=69138#c4