From 1fa6d2d9c6c8eaa097f47b24c1b9ef8467e6ba0d Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Wed, 30 Dec 2020 01:06:05 +0100 Subject: [PATCH] alr init: disable warnings for No_Exception_Propagation (#649) For embedded ZFP run-time this warning will pop everywhere. --- src/alr/alr-commands-init.adb | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/alr/alr-commands-init.adb b/src/alr/alr-commands-init.adb index 2e1dd580..52491c90 100644 --- a/src/alr/alr-commands-init.adb +++ b/src/alr/alr-commands-init.adb @@ -196,7 +196,8 @@ package body Alr.Commands.Init is Put_Line (" Runtime_Checks_Switches &"); Put_Line (" Style_Checks_Switches &"); Put_Line (" Contracts_Switches &"); - Put_Line (" (""-gnatQ""); -- Don't quit. Generate ALI and tree files even if illegalities"); + Put_Line (" (""-gnatw.X"", -- Disable warnings for No_Exception_Propagation"); + Put_Line (" ""-gnatQ""); -- Don't quit. Generate ALI and tree files even if illegalities"); Put_Line (" end Compiler;"); Put_New_Line; Put_Line (" package Binder is"); -- 2.39.5