diff options
Diffstat (limited to 'gcc/ada/make.adb')
| -rw-r--r-- | gcc/ada/make.adb | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/gcc/ada/make.adb b/gcc/ada/make.adb index c194bc7..808ad00 100644 --- a/gcc/ada/make.adb +++ b/gcc/ada/make.adb @@ -6948,15 +6948,17 @@ package body Make is procedure List_Bad_Compilations is begin - for J in Bad_Compilation.First .. Bad_Compilation.Last loop - if Bad_Compilation.Table (J).File = No_File then - null; - elsif not Bad_Compilation.Table (J).Found then - Inform (Bad_Compilation.Table (J).File, "not found"); - else - Inform (Bad_Compilation.Table (J).File, "compilation error"); - end if; - end loop; + if not Debug.Debug_Flag_S then + for J in Bad_Compilation.First .. Bad_Compilation.Last loop + if Bad_Compilation.Table (J).File = No_File then + null; + elsif not Bad_Compilation.Table (J).Found then + Inform (Bad_Compilation.Table (J).File, "not found"); + else + Inform (Bad_Compilation.Table (J).File, "compilation error"); + end if; + end loop; + end if; end List_Bad_Compilations; ----------------- |