wok view ffmpeg/stuff/ffmpeg-0.5.1-gcc45.u @ rev 22805

updated gawk (4.2.1 -> 5.0.1)
author Hans-G?nter Theisgen
date Tue Jan 28 10:03:39 2020 +0100 (2020-01-28)
parents
children
line source
1 --- ffmpeg-0.5.1-ori/configure
2 +++ ffmpeg-0.5.1/configure
3 @@ -514,7 +514,7 @@
4
5 check_cmd(){
6 log "$@"
7 - "$@" >> $logfile 2>&1
8 + $@ >> $logfile 2>&1
9 }
10
11 check_cc(){