diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-17 08:12:09 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-17 08:12:09 +0200 |
commit | d2d8b2a70d792987761480ac14301816498a6454 (patch) | |
tree | dbf1a3f04bae9a8d171e9ca2a7b1aaec91d67569 /gcc/ada/gnatbind.adb | |
parent | 3fad4d00acc3ccc59e4d028eb94d759e9ed4c55f (diff) | |
download | gcc-d2d8b2a70d792987761480ac14301816498a6454.zip gcc-d2d8b2a70d792987761480ac14301816498a6454.tar.gz gcc-d2d8b2a70d792987761480ac14301816498a6454.tar.bz2 |
[multiple changes]
2014-07-17 Robert Dewar <dewar@adacore.com>
* exp_ch7.adb, exp_ch7.ads, sinfo.ads: Minor reformatting.
2014-07-17 Ed Schonberg <schonberg@adacore.com>
* sem_case.adb (Check_Choice_Set): If the case expression is the
expression in a predicate, do not recheck coverage against itself,
to prevent spurious errors.
* sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): Indicate that
expression comes from an aspect specification, to prevent spurious
errors when expression is a case expression in a predicate.
2014-07-17 Pascal Obry <obry@adacore.com>
* adaint.c, adaint.h (__gnat_set_executable): Add mode parameter.
* s-os_lib.ads, s-os_lib.adb (Set_Executable): Add Mode parameter.
2014-07-17 Vincent Celier <celier@adacore.com>
* gnatchop.adb, make.adb, gnatbind.adb, clean.adb, gprep.adb,
gnatxref.adb, gnatls.adb, gnatfind.adb, gnatname.adb: Do not output
the usage for an erroneous invocation of a gnat tool.
From-SVN: r212716
Diffstat (limited to 'gcc/ada/gnatbind.adb')
-rw-r--r-- | gcc/ada/gnatbind.adb | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gcc/ada/gnatbind.adb b/gcc/ada/gnatbind.adb index 0903fe4..527fc4c 100644 --- a/gcc/ada/gnatbind.adb +++ b/gcc/ada/gnatbind.adb @@ -666,10 +666,15 @@ begin Display_Version ("GNATBIND", "1995"); end if; - -- Output usage information if no files + -- Output usage information if no arguments if not More_Lib_Files then - Bindusg.Display; + if Argument_Count = 0 then + Bindusg.Display; + else + Write_Line ("type ""gnatbind --help"" for help"); + end if; + Exit_Program (E_Fatal); end if; |