[Bug ada/61201] Cross compile fails with SPARK_05 undefined

[rth at gcc dot gnu.org]

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

--- Comment #5 from Richard Henderson <rth at gcc dot gnu.org> ---
Ah, now that's a good answer.  Thanks, Eric.