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

updated openmpi and openmpi-dev (4.0.3 -> 4.1.3)
author Hans-G?nter Theisgen
date Wed May 18 08:05:48 2022 +0100 (2022-05-18)
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(){