0f0e073d9a28 — Tero Koskinen default tip 10 years ago

Build scripts for arm-none-eabi gnat 4.9.