mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
gnatsas outputs are moved out of object directory so they don't get cached in CIs. This enables having no baseline for gnatsas when running in CIs, so all messages (not reviewed as "not a bug") are reported.