diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-27 14:42:03 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-27 14:42:03 +0200 |
| commit | a6ac73115af92e964988677378306f5c08dd0ddf (patch) | |
| tree | d6927bc3c480a774a2a1da60a2833673f3729a23 /gcc/ada/gnatcmd.adb | |
| parent | 888be6b18a697c7f57f2f74fa8dbab058bb819ef (diff) | |
| download | gcc-a6ac73115af92e964988677378306f5c08dd0ddf.zip gcc-a6ac73115af92e964988677378306f5c08dd0ddf.tar.gz gcc-a6ac73115af92e964988677378306f5c08dd0ddf.tar.bz2 | |
[multiple changes]
2016-04-27 Vincent Celier <celier@adacore.com>
* gnatcmd.adb: For "gnat ls -V -P", recognize switch
--unchecked-shared-lib-imports and set the flag
Opt.Unchecked_Shared_Lib_Imports accordingly.
2016-04-27 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Analyze_Pre_Post_Condition_In_Decl_Part):
A generic subprogram is never a primitive operation, and thus
a classwide condition for it is not legal.
2016-04-27 Hristian Kirtchev <kirtchev@adacore.com>
* sem_aggr.adb, sem_dim.adb, sem_dim.ads, einfo.adb: Minor
reformatting.
From-SVN: r235494
Diffstat (limited to 'gcc/ada/gnatcmd.adb')
| -rw-r--r-- | gcc/ada/gnatcmd.adb | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gcc/ada/gnatcmd.adb b/gcc/ada/gnatcmd.adb index 2432f89..433ac7d 100644 --- a/gcc/ada/gnatcmd.adb +++ b/gcc/ada/gnatcmd.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1996-2015, Free Software Foundation, Inc. -- +-- Copyright (C) 1996-2016, 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- -- @@ -983,6 +983,14 @@ begin Remove_Switch (Arg_Num); + -- --unchecked-shared-lib-imports + + elsif Argv.all = "--unchecked-shared-lib-imports" then + Opt.Unchecked_Shared_Lib_Imports := True; + Remove_Switch (Arg_Num); + + -- gnat list -U + elsif The_Command = List and then Argv'Length = 2 |