mirror of
https://github.com/FFmpeg/FFmpeg.git
synced 2025-01-29 22:00:58 +02:00
17b6c7efb4
Also only update config.sh when it changed to avoid spurious rebuilds.