diff options
Diffstat (limited to 'usr.bin/xlint/lint1/main1.c')
| -rw-r--r-- | usr.bin/xlint/lint1/main1.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/usr.bin/xlint/lint1/main1.c b/usr.bin/xlint/lint1/main1.c index 458e2d22947..3d0a73ef57b 100644 --- a/usr.bin/xlint/lint1/main1.c +++ b/usr.bin/xlint/lint1/main1.c @@ -1,4 +1,4 @@ -/* $OpenBSD: main1.c,v 1.4 2005/11/19 03:35:27 cloder Exp $ */ +/* $OpenBSD: main1.c,v 1.5 2005/11/20 17:42:49 deraadt Exp $ */ /* $NetBSD: main1.c,v 1.3 1995/10/02 17:29:56 jpo Exp $ */ /* @@ -33,7 +33,7 @@ */ #ifndef lint -static char rcsid[] = "$OpenBSD: main1.c,v 1.4 2005/11/19 03:35:27 cloder Exp $"; +static char rcsid[] = "$OpenBSD: main1.c,v 1.5 2005/11/20 17:42:49 deraadt Exp $"; #endif #include <stdio.h> @@ -172,7 +172,7 @@ usage(void) (void)fprintf(stderr, "usage: lint1 [-abcdeghprstuvyzF] src dest\n"); exit(1); } - + void norecover(void) { |