From 45eced1c2512d48a392c7b9f761137d7601fa5b8 Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Wed, 19 Dec 2012 15:56:10 +0200 Subject: Fix --disable-lint. --- main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'main.c') diff --git a/main.c b/main.c index 88fe3bd8..437c0cdd 100644 --- a/main.c +++ b/main.c @@ -410,8 +410,8 @@ main(int argc, char **argv) (void) add_srcfile(SRC_EXTLIB, optarg, srcfiles, NULL, NULL); break; - case 'L': #ifndef NO_LINT + case 'L': do_flags |= DO_LINT_ALL; if (optarg != NULL) { if (strcmp(optarg, "fatal") == 0) -- cgit v1.2.3