* config/i386/i386.c, config/pa/pa.c, config/spu/spu.c,

[pf3gnuchains/gcc-fork.git] / gcc / params.c

diff --git a/gcc/params.c b/gcc/params.c
index 965c7cc..fee0657 100644 (file)
--- a/gcc/params.c
+++ b/gcc/params.c
@@ -1,5 +1,5 @@
 /* params.c - Run-time parameters.
-   Copyright (C) 2001, 2003, 2004 Free Software Foundation, Inc.
+   Copyright (C) 2001, 2003, 2004, 2005 Free Software Foundation, Inc.
    Written by Mark Mitchell <mark@codesourcery.com>.
 
 This file is part of GCC.
@@ -16,8 +16,8 @@ for more details.
 
 You should have received a copy of the GNU General Public License
 along with GCC; see the file COPYING.  If not, write to the Free
-Software Foundation, 59 Temple Place - Suite 330, Boston, MA
-02111-1307, USA.
+Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
+02110-1301, USA.
 
 */
 
@@ -77,7 +77,10 @@ set_param_value (const char *name, int value)
                 compiler_params[i].option,
                 compiler_params[i].max_value);
        else
-         compiler_params[i].value = value;
+         {
+           compiler_params[i].value = value;
+           compiler_params[i].set = true;
+         }
        return;
       }