On Sep 02 2025, Eric Botcazou wrote: > Strange, we had successful builds on PowerPC64 since then (20250804)
The last sucessful build was 20250605, which has this in the build directory: $ find -name s-valllli.ads ./gcc/ada/rts_32/s-valllli.ads ./gcc/ada/rts/s-valllli.ads Both files are now missing, and reverting this commit brings them back. -- Andreas Schwab, [email protected] GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
