Re: [FFmpeg-devel] [PATCH 1/2] tools/target_dec_fate.sh: print some statistics
2019-01-17 22:21 GMT+01:00, Michael Niedermayer : > On Tue, Jan 15, 2019 at 11:41:22PM +0100, Carl Eugen Hoyos wrote: >> 2019-01-15 23:36 GMT+01:00, Michael Niedermayer : >> > On Fri, Jan 04, 2019 at 08:29:36PM +0100, Michael Niedermayer wrote: >> >> On Sat, Dec 29, 2018 at 10:47:16AM +0100, Moritz Barsnick wrote: >> >> > On Sat, Dec 29, 2018 at 02:35:18 +0100, Michael Niedermayer wrote: >> >> > > +CACHED=$((CACHED+1)) >> >> > >> >> > I believe this is the sort of math that won't work on old, non-POSIX >> >> > Bourne shells. (I'm thinking Solaris /bin/sh here.) In case that >> >> > even matters. >> >> >> >> which platform without a posix /bin/sh supports the libfuzz stuff ? >> > >> > ping, is there any suggestion for improving this patch ? >> > or are all concerns resolved ? >> >> I believe adding more things that will not work on sunos is not >> ideal. >> But if there is no other way solving the issues that this patch >> fixes, sunos is of course no show-stopper. > > how can i test easily that a change work with such a non posix shell ? That is exactly what I don't know: Even on sunos it appears to depend on settings that I don't understand. Sorry, Carl Eugen ___ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
Re: [FFmpeg-devel] [PATCH 1/2] tools/target_dec_fate.sh: print some statistics
On Tue, Jan 15, 2019 at 11:41:22PM +0100, Carl Eugen Hoyos wrote: > 2019-01-15 23:36 GMT+01:00, Michael Niedermayer : > > On Fri, Jan 04, 2019 at 08:29:36PM +0100, Michael Niedermayer wrote: > >> On Sat, Dec 29, 2018 at 10:47:16AM +0100, Moritz Barsnick wrote: > >> > On Sat, Dec 29, 2018 at 02:35:18 +0100, Michael Niedermayer wrote: > >> > > +CACHED=$((CACHED+1)) > >> > > >> > I believe this is the sort of math that won't work on old, non-POSIX > >> > Bourne shells. (I'm thinking Solaris /bin/sh here.) In case that > >> > even matters. > >> > >> which platform without a posix /bin/sh supports the libfuzz stuff ? > > > > ping, is there any suggestion for improving this patch ? > > or are all concerns resolved ? > > I believe adding more things that will not work on sunos is not > ideal. > But if there is no other way solving the issues that this patch > fixes, sunos is of course no show-stopper. how can i test easily that a change work with such a non posix shell ? [...] -- Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB Republics decline into democracies and democracies degenerate into despotisms. -- Aristotle signature.asc Description: PGP signature ___ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
Re: [FFmpeg-devel] [PATCH 1/2] tools/target_dec_fate.sh: print some statistics
2019-01-15 23:36 GMT+01:00, Michael Niedermayer : > On Fri, Jan 04, 2019 at 08:29:36PM +0100, Michael Niedermayer wrote: >> On Sat, Dec 29, 2018 at 10:47:16AM +0100, Moritz Barsnick wrote: >> > On Sat, Dec 29, 2018 at 02:35:18 +0100, Michael Niedermayer wrote: >> > > +CACHED=$((CACHED+1)) >> > >> > I believe this is the sort of math that won't work on old, non-POSIX >> > Bourne shells. (I'm thinking Solaris /bin/sh here.) In case that >> > even matters. >> >> which platform without a posix /bin/sh supports the libfuzz stuff ? > > ping, is there any suggestion for improving this patch ? > or are all concerns resolved ? I believe adding more things that will not work on sunos is not ideal. But if there is no other way solving the issues that this patch fixes, sunos is of course no show-stopper. Carl Eugen ___ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
Re: [FFmpeg-devel] [PATCH 1/2] tools/target_dec_fate.sh: print some statistics
On Fri, Jan 04, 2019 at 08:29:36PM +0100, Michael Niedermayer wrote: > On Sat, Dec 29, 2018 at 10:47:16AM +0100, Moritz Barsnick wrote: > > On Sat, Dec 29, 2018 at 02:35:18 +0100, Michael Niedermayer wrote: > > > +CACHED=$((CACHED+1)) > > > > I believe this is the sort of math that won't work on old, non-POSIX > > Bourne shells. (I'm thinking Solaris /bin/sh here.) In case that > > even matters. > > which platform without a posix /bin/sh supports the libfuzz stuff ? ping, is there any suggestion for improving this patch ? or are all concerns resolved ? thx [...] -- Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB It is dangerous to be right in matters on which the established authorities are wrong. -- Voltaire signature.asc Description: PGP signature ___ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
Re: [FFmpeg-devel] [PATCH 1/2] tools/target_dec_fate.sh: print some statistics
On Sat, Dec 29, 2018 at 10:47:16AM +0100, Moritz Barsnick wrote: > On Sat, Dec 29, 2018 at 02:35:18 +0100, Michael Niedermayer wrote: > > +CACHED=$((CACHED+1)) > > I believe this is the sort of math that won't work on old, non-POSIX > Bourne shells. (I'm thinking Solaris /bin/sh here.) In case that > even matters. which platform without a posix /bin/sh supports the libfuzz stuff ? thanks [...] -- Michael GnuPG fingerprint: 9FF2128B147EF6730BADF133611EC787040B0FAB He who knows, does not speak. He who speaks, does not know. -- Lao Tsu signature.asc Description: PGP signature ___ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
Re: [FFmpeg-devel] [PATCH 1/2] tools/target_dec_fate.sh: print some statistics
> Am 29.12.2018 um 17:40 schrieb Derek Buitenhuis :
>
>> On 29/12/2018 09:47, Moritz Barsnick wrote:
>> I believe this is the sort of math that won't work on old, non-POSIX
>> Bourne shells. (I'm thinking Solaris /bin/sh here.) In case that
>> even matters.
>
> I don't think we care about those, e.g.:
>
>~/ffmpeg$ grep '+1)' configure
>eval ${pvar}_level=$(($level+1))
configure automatically chooses a (gnu) bash-compatible Shell on Solaris (this
is impossible to avoid), all other FFmpeg scripts use another shell at least on
some systems, this for example affects the versioning of shared libraries.
I find this difficult to test though.
Carl Eugen
___
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
Re: [FFmpeg-devel] [PATCH 1/2] tools/target_dec_fate.sh: print some statistics
On 29/12/2018 09:47, Moritz Barsnick wrote:
> I believe this is the sort of math that won't work on old, non-POSIX
> Bourne shells. (I'm thinking Solaris /bin/sh here.) In case that
> even matters.
I don't think we care about those, e.g.:
~/ffmpeg$ grep '+1)' configure
eval ${pvar}_level=$(($level+1))
- Derek
___
ffmpeg-devel mailing list
ffmpeg-devel@ffmpeg.org
http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
Re: [FFmpeg-devel] [PATCH 1/2] tools/target_dec_fate.sh: print some statistics
On Sat, Dec 29, 2018 at 02:35:18 +0100, Michael Niedermayer wrote: > +CACHED=$((CACHED+1)) I believe this is the sort of math that won't work on old, non-POSIX Bourne shells. (I'm thinking Solaris /bin/sh here.) In case that even matters. Moritz ___ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
[FFmpeg-devel] [PATCH 1/2] tools/target_dec_fate.sh: print some statistics
Signed-off-by: Michael Niedermayer --- tools/target_dec_fate.sh | 9 +++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/tools/target_dec_fate.sh b/tools/target_dec_fate.sh index 1fdfdcaaea..5e683676d1 100755 --- a/tools/target_dec_fate.sh +++ b/tools/target_dec_fate.sh @@ -43,6 +43,9 @@ test ! -d "$1" && echo $1 is not an accessable directory && show_help test ! -f target_dec_fate.sh && echo $0 Must be run from its location && show_help grep 'CONFIG_OSSFUZZ 0' ../config.h && echo not configured for ossfuzz && show_help +CACHED=0 +DOWNLOADED=0 +FAILED2DOWNLOAD=0 #Download testcases while read -r LINE; do ISSUE_NUM=`echo $LINE | sed 's#/.*##'` @@ -50,10 +53,12 @@ while read -r LINE; do FILE=`echo $LINE | sed 's# .*##'` if test -f "$1/$FILE" ; then echo exists $FILE +CACHED=$((CACHED+1)) else echo downloading $FILE mkdir -p "$1/$ISSUE_NUM" -wget -O "$1/$FILE" "https://oss-fuzz.com/download?testcase_id=$FILE_ID; || rm "$1/$FILE" +wget -O "$1/$FILE" "https://oss-fuzz.com/download?testcase_id=$FILE_ID; || ( rm "$1/$FILE" ; FAILED2DOWNLOAD=$((FAILED2DOWNLOAD+1)) ) +DOWNLOADED=$((DOWNLOADED+1)) fi done < "$LIST" @@ -75,4 +80,4 @@ while read -r LINE; do tools/$TOOL_ID $1/$FILE done < "tools/$LIST" -echo OK +echo OK cached:$CACHED downloaded:$DOWNLOADED failed to download:$FAILED2DOWNLOAD -- 2.20.1 ___ ffmpeg-devel mailing list ffmpeg-devel@ffmpeg.org http://ffmpeg.org/mailman/listinfo/ffmpeg-devel
