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

updated xorg-xf86-video-mga (1.5.0 -> 2.0.0)
author: Hans-G?nter Theisgen
date: Wed Nov 13 11:23:34 2019 +0100 (2019-11-13)
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/ffmpeg/stuff/ffmpeg-0.5.1-gcc45.u	Wed Nov 13 11:23:34 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(){