wok diff ffmpeg/stuff/ffmpeg-0.5.1-gcc45.u @ rev 20647

updated htop (2.0.2 -> 2.2.0)
author Hans-G?nter Theisgen
date Fri Jan 11 16:49:32 2019 +0100 (2019-01-11)
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	Fri Jan 11 16:49:32 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(){