diff options
Diffstat (limited to 'gcc/params.h')
| -rw-r--r-- | gcc/params.h | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/gcc/params.h b/gcc/params.h index caddf853da5..0a784454ccd 100644 --- a/gcc/params.h +++ b/gcc/params.h @@ -1,5 +1,5 @@ /* params.h - Run-time parameters. - Copyright (C) 2001 Free Software Foundation, Inc. + Copyright (C) 2001, 2003 Free Software Foundation, Inc. Written by Mark Mitchell <mark@codesourcery.com>. This file is part of GCC. @@ -59,13 +59,11 @@ extern param_info *compiler_params; /* Add the N PARAMS to the current list of compiler parameters. */ -extern void add_params - PARAMS ((const param_info params[], size_t n)); +extern void add_params (const param_info params[], size_t n); /* Set the VALUE associated with the parameter given by NAME. */ -extern void set_param_value - PARAMS ((const char *name, int value)); +extern void set_param_value (const char *name, int value); /* The parameters in use by language-independent code. */ |