wok-6.x annotate 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
rev   line source
erjo@5902 1 --- ffmpeg-0.5.1-ori/configure
erjo@5902 2 +++ ffmpeg-0.5.1/configure
erjo@5902 3 @@ -514,7 +514,7 @@
erjo@5902 4
erjo@5902 5 check_cmd(){
erjo@5902 6 log "$@"
erjo@5902 7 - "$@" >> $logfile 2>&1
erjo@5902 8 + $@ >> $logfile 2>&1
erjo@5902 9 }
erjo@5902 10
erjo@5902 11 check_cc(){