diff options
| author | Yannick Moy <moy@adacore.com> | 2018-12-11 11:10:07 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-12-11 11:10:07 +0000 |
| commit | 5fc26697366abd160c4e755b6fe25c778ac97784 (patch) | |
| tree | 1af5b93a7d1bc3ccf9cc3fd5f8d32f5ba45cafe1 /gcc/ada/gcc-interface/Make-lang.in | |
| parent | e64ac63149a6ec0ee9403079eea7df857ff59587 (diff) | |
| download | gcc-5fc26697366abd160c4e755b6fe25c778ac97784.zip gcc-5fc26697366abd160c4e755b6fe25c778ac97784.tar.gz gcc-5fc26697366abd160c4e755b6fe25c778ac97784.tar.bz2 | |
[Ada] Better error message from GNATprove on illegal switch
When a compilation switch is wrongly passed to GNATprove without the
leading hyphen, this patch issues a clear error message instead of the
obscure 'usage' message previously displayed.
There is no impact on compilation.
2018-12-11 Yannick Moy <moy@adacore.com>
gcc/ada/
* gnat1drv.adb (Gnat1drv): Issue specific error message in
GNATprove mode when multiple file names on the command line.
* osint.adb, osint.ads (Dump_Command_Line_Source_File_Names):
New procedure to print file names on the command line.
From-SVN: r266989
Diffstat (limited to 'gcc/ada/gcc-interface/Make-lang.in')
0 files changed, 0 insertions, 0 deletions