[Bug c/86156] ffmpeg clean clone fails

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86156

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Or a support library like gmp or mpfr or mpc is built for a different
architecture.