2018-12-20 1:42 GMT+01:00, Peter Ross <[email protected]>: > --- > configure | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/configure b/configure > index be49c19b88..7136f22395 100755 > --- a/configure > +++ b/configure > @@ -473,7 +473,7 @@ Developer options (useful when working on FFmpeg > itself): > --random-seed=VALUE seed value for --enable/disable-random > --disable-valgrind-backtrace do not print a backtrace under Valgrind > (only applies to --disable-optimizations > builds) > - --enable-osfuzz Enable building fuzzer tool > + --enable-ossfuzz Enable building fuzzer tool
Please push. Carl Eugen _______________________________________________ ffmpeg-devel mailing list [email protected] http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
