diff options
| author | Erik Andersen <andersen@codepoet.org> | 2000-04-06 08:06:36 +0000 |
|---|---|---|
| committer | Erik Andersen <andersen@codepoet.org> | 2000-04-06 08:06:36 +0000 |
| commit | 93d6513d9315fa72d7af4ac2435f8c1e243273cb (patch) | |
| tree | a7642802cbab4053e62cf13f2daa194c524da2e1 /init/init.c | |
| parent | 7a4b7194864e67f512dac1081f244d3c07a0eca2 (diff) | |
Some more minor updates to better use some gcc attributes.
-Erik
Diffstat (limited to 'init/init.c')
| -rw-r--r-- | init/init.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/init/init.c b/init/init.c index d61d1c38e..033eb519f 100644 --- a/init/init.c +++ b/init/init.c @@ -136,6 +136,8 @@ static void delete_initAction(initAction * action); /* Print a message to the specified device. * Device may be bitwise-or'd from LOG | CONSOLE */ static void message(int device, char *fmt, ...) + __attribute__ ((format (printf, 2, 3))); +static void message(int device, char *fmt, ...) { va_list arguments; int fd; |