diff options
Diffstat (limited to 'gcc/ada/opt.ads')
| -rw-r--r-- | gcc/ada/opt.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index 906a782022e..ca5d7fb2755 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -550,6 +550,12 @@ package Opt is -- True when switch -gnateG is used. When True, create in a file -- <source>.prep, if the source is preprocessed. + Generate_SCO : Boolean := False; + -- GNAT + -- True when switch -gnateS is used. When True, Source Coverage Obligation + -- (SCO) information is generated and output in the ALI file. See unit + -- Sem_SCO for full details. + Generating_Code : Boolean := False; -- GNAT -- True if the frontend finished its work and has called the backend to |