]> git.sesse.net Git - ffmpeg/commitdiff
tools/target_dec_fate.sh: Add support for lines that are comments
authorMichael Niedermayer <michael@niedermayer.cc>
Thu, 21 Feb 2019 21:12:10 +0000 (22:12 +0100)
committerMichael Niedermayer <michael@niedermayer.cc>
Fri, 1 Mar 2019 22:25:08 +0000 (23:25 +0100)
Signed-off-by: Michael Niedermayer <michael@niedermayer.cc>
tools/target_dec_fate.sh

index 1fdfdcaaea75efc502e1695207f4ac0947d0fda1..1377b6b4e80b2722369dc587da56a52f36c07f60 100755 (executable)
@@ -50,6 +50,8 @@ while read -r LINE; do
     FILE=`echo $LINE | sed 's# .*##'`
     if test -f "$1/$FILE" ; then
         echo exists       $FILE
+    elif echo "$ISSUE_NUM" | grep '#' >/dev/null ; then
+        echo disabled     $FILE
     else
         echo downloading  $FILE
         mkdir -p "$1/$ISSUE_NUM"
@@ -72,6 +74,9 @@ make -j4 $TOOLS
 while read -r LINE; do
     TOOL_ID=`echo $LINE | sed 's#[^ ]* ##'`
     FILE=`echo $LINE | sed 's# .*##'`
+    if ! test -f "$1/$FILE" ; then
+        continue
+    fi
     tools/$TOOL_ID $1/$FILE
 done < "tools/$LIST"