aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2004-12-08 12:25:14 +0100
committerArnaud Charlet <charlet@gcc.gnu.org>2004-12-08 12:25:14 +0100
commita7e5b6df8d190ca4d8bc15abf1da93088b57afc1 (patch)
tree88053a6d7785910fc709250c80ca10f27c43f8a6
parentdcdf1790adea14011549a5f660d9c4982744d37b (diff)
downloadgcc-a7e5b6df8d190ca4d8bc15abf1da93088b57afc1.zip
gcc-a7e5b6df8d190ca4d8bc15abf1da93088b57afc1.tar.gz
gcc-a7e5b6df8d190ca4d8bc15abf1da93088b57afc1.tar.bz2
back_end.adb (Scan_Back_End_Switches): Accept --param.
* back_end.adb (Scan_Back_End_Switches): Accept --param. * lang-specs.h: Accept --param. From-SVN: r91876
-rw-r--r--gcc/ada/back_end.adb5
-rw-r--r--gcc/ada/lang-specs.h2
2 files changed, 4 insertions, 3 deletions
diff --git a/gcc/ada/back_end.adb b/gcc/ada/back_end.adb
index ede3f8b..13a7c72 100644
--- a/gcc/ada/back_end.adb
+++ b/gcc/ada/back_end.adb
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2003 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2004 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- --
@@ -207,11 +207,12 @@ package body Back_End is
Last := Last - 1;
end if;
- -- For dumpbase and o, skip following argument and do not
+ -- For these switches, skip following argument and do not
-- store either the switch or the following argument
if Switch_Chars (First .. Last) = "o"
or else Switch_Chars (First .. Last) = "dumpbase"
+ or else Switch_Chars (First .. Last) = "-param"
then
Next_Arg := Next_Arg + 1;
diff --git a/gcc/ada/lang-specs.h b/gcc/ada/lang-specs.h
index 7924c23..efcb4f9 100644
--- a/gcc/ada/lang-specs.h
+++ b/gcc/ada/lang-specs.h
@@ -39,5 +39,5 @@
%{O*} %{W*} %{w} %{p} %{pg:-p} %{a} %{f*} %{d*} %{g*&m*} %1\
%{!S:%{o*:%w%*-gnatO}} \
%i %{S:%W{o*}%{!o*:-o %b.s}} \
- %{gnatc*|gnats*: -o %j} \
+ %{gnatc*|gnats*: -o %j} %{-param*} \
%{!gnatc*:%{!gnats*:%(invoke_as)}}", 0, 0, 0},