mirror of
https://git.ffmpeg.org/ffmpeg.git
synced 2026-05-09 12:32:56 +02:00
17b6c7efb4
Also only update config.sh when it changed to avoid spurious rebuilds.