From 2735b82d096137ab53517510fd3669e60a663915 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 21 May 2014 12:48:37 +0200 Subject: [multiple changes] 2014-05-21 Robert Dewar * einfo.ads: Minor reformatting. * ceinfo.adb: Deal with slight format change of einfo.ads. 2014-05-21 Ed Schonberg * sem_prag.adb (Analyze_Part_Of): Further work on the proper implementation of the SPARK 2014 rule concerning private child units (LRM 7.2.6). 2014-05-21 Vincent Celier * makeusg.adb: Add switch -d to usage. 2014-05-21 Ed Schonberg * sem_util.adb (Find_Actual): If an actual that is the prefix of an enclosing prefixed call has been rewritten, use Nkind and Sloc to identify the corresponding formal, when handling deferred references. 2014-05-21 Robert Dewar * debug.adb: Document -gnatd.z switch. * sem_eval.adb (Why_Non_Static): Test -gnatd.z switch. From-SVN: r210689 --- gcc/ada/makeusg.adb | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'gcc/ada/makeusg.adb') diff --git a/gcc/ada/makeusg.adb b/gcc/ada/makeusg.adb index 62cc703..16eb5f9 100644 --- a/gcc/ada/makeusg.adb +++ b/gcc/ada/makeusg.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2011, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2014, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -86,6 +86,11 @@ begin "invoke compiler with mapping file mapp"); Write_Eol; + -- Line for -d + + Write_Str (" -d Display compilation progress"); + Write_Eol; + -- Line for -D Write_Str (" -D dir Specify dir as the object directory"); -- cgit v1.1