This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.
| Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
|---|---|---|
| Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |
| Other format: | [Raw text] | |
On Wed, Apr 30, 2003 at 10:37:13AM +0200, Philipp Thomas wrote: > > #ifndef lint > > static const char rcsid[] = > > "$Id: src/dir/file.c 1.12 1999/08/27 23:45:12 me Exp$"; > > #endif /* not lint */ > > Why not just use __attribute__((__unused__))? Or indeed, #ident, which is availalble on many compilers and doesn't result in extra data at runtime. r~
| Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
|---|---|---|
| Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |