[Bug ada/87100] FAIL: gnat.dg/config_pragma1.adb execution test

[rguenth at gcc dot gnu.org]

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

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
*** Bug 87101 has been marked as a duplicate of this bug. ***