diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2016-05-02 09:47:42 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 11:47:42 +0200 |
| commit | fb8d37efa6cb29cc7a2407b1d273d7a9cbf070e0 (patch) | |
| tree | 671832a064bd02e58a1624155c867a532363726b /gcc/ada/make.adb | |
| parent | 7cc9a6a92d7d1b094a3cf0e8c3149a304c2c5e6b (diff) | |
| download | gcc-fb8d37efa6cb29cc7a2407b1d273d7a9cbf070e0.zip gcc-fb8d37efa6cb29cc7a2407b1d273d7a9cbf070e0.tar.gz gcc-fb8d37efa6cb29cc7a2407b1d273d7a9cbf070e0.tar.bz2 | |
make.adb: Minor...
2016-05-02 Arnaud Charlet <charlet@adacore.com>
* make.adb: Minor: avoid an exception when calling gnatmake with
no argument and gnatmake is built with checks on.
* lib-xref-spark_specific.adb: Minor code cleanup.
From-SVN: r235725
Diffstat (limited to 'gcc/ada/make.adb')
| -rw-r--r-- | gcc/ada/make.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/make.adb b/gcc/ada/make.adb index 261f2a6..4449ef1 100644 --- a/gcc/ada/make.adb +++ b/gcc/ada/make.adb @@ -6418,7 +6418,7 @@ package body Make is -- platform. declare - Arg_Len : Positive := Argument_Count; + Arg_Len : Natural := Argument_Count; Call_Gprbuild : Boolean := False; Gprbuild : String_Access := null; Pos : Natural := 0; |