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

updated hdf5 and hdf5-dev (1.8.9 -> 1.10.4)
author Hans-G?nter Theisgen
date Mon Mar 11 13:05:00 2019 +0100 (2019-03-11)
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(){