[multiple changes]

[gcc.git] / gcc / ada / usage.adb

diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb
index 55a3f49921ae423e6960ddb7a5dd44d07222ac94..76d9a25b4a45777a117c44b7cce28505062f647f 100644 (file)
--- a/gcc/ada/usage.adb
+++ b/gcc/ada/usage.adb
@@ -99,6 +99,9 @@ begin
 
       Write_Switch_Char ("fno-inline   ", "");
       Write_Line ("Inhibit all inlining (makes executable smaller)");
+
+      Write_Switch_Char ("fpreserve-control-flow ", "");
+      Write_Line ("Preserve control flow for coverage analysis");
    end if;
 
    --  Common switches available to both GCC and JGNAT