wok-6.x diff ffmpeg/stuff/ffmpeg-0.5.1-gcc45.u @ rev 21897

updated searchmonkey (0.8.1 -> 0.8.3)
author Hans-G?nter Theisgen
date Thu Oct 03 17:46:51 2019 +0100 (2019-10-03)
parents
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/ffmpeg/stuff/ffmpeg-0.5.1-gcc45.u	Thu Oct 03 17:46:51 2019 +0100
     1.3 @@ -0,0 +1,11 @@
     1.4 +--- ffmpeg-0.5.1-ori/configure
     1.5 ++++ ffmpeg-0.5.1/configure
     1.6 +@@ -514,7 +514,7 @@
     1.7 + 
     1.8 + check_cmd(){
     1.9 +     log "$@"
    1.10 +-    "$@" >> $logfile 2>&1
    1.11 ++    $@ >> $logfile 2>&1
    1.12 + }
    1.13 + 
    1.14 + check_cc(){