From c9fdcc4584b8242c595beba67515d16ae0a4dd3b Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sun, 31 Jul 2016 09:01:03 +0200 Subject: Factorise some help lines. --- src/options.adb | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) (limited to 'src/options.adb') diff --git a/src/options.adb b/src/options.adb index 341a7125b..c5feac2fe 100644 --- a/src/options.adb +++ b/src/options.adb @@ -237,16 +237,12 @@ package body Options is P (" --syn-binding use synthesis default binding rule"); P (" -fpsl parse psl in comments"); P ("Compilation list:"); - P (" -ls after semantics"); - P (" -lc after canon"); - P (" -la after annotation"); + P (" -l[sca] after semantics, canon or annotation"); P (" --lall -lX options apply to all files"); P (" -lv verbose list"); P (" -v disp compilation stages"); P ("Compilation dump:"); - P (" -dp dump tree after parsing"); - P (" -ds dump tree after semantics"); - P (" -da dump tree after annotate"); + P (" -d[psa] dump tree after parse, semantics or annotate"); P (" --dall -dX options apply to all files"); if Back_End.Disp_Option /= null then Back_End.Disp_Option.all; -- cgit v1.2.3