From 83b5bfcae81e228a533cb424086e98aef779940b Mon Sep 17 00:00:00 2001 From: DavidKorczynski Date: Wed, 25 May 2022 11:42:00 +0100 Subject: [PATCH] mruby: fix build (#7759) * mruby: fix build Ref: https://github.com/google/oss-fuzz/issues/7736 * nit --- projects/mruby/build.sh | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/projects/mruby/build.sh b/projects/mruby/build.sh index 999f21acf..1fd8f190f 100755 --- a/projects/mruby/build.sh +++ b/projects/mruby/build.sh @@ -32,6 +32,14 @@ $CXX $CXXFLAGS $OUT/${name}.o $LIB_FUZZING_ENGINE -lm \ rm -f $OUT/${name}.o ) +# Construct options files +cat > $SRC/mruby/oss-fuzz/config/mruby_fuzzer.options <