From 74176cc1618932a3f20bb4d6cd287faf3fb63332 Mon Sep 17 00:00:00 2001 From: ru Date: Tue, 21 Dec 2004 09:33:47 +0000 Subject: NODOCCOMPRESS -> NO_DOCCOMPRESS NOINFO -> NO_INFO NOINFOCOMPRESS -> NO_INFOCOMPRESS NOLINT -> NO_LINT NOPIC -> NO_PIC NOPROFILE -> NO_PROFILE --- gnu/Makefile.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gnu/Makefile.inc') diff --git a/gnu/Makefile.inc b/gnu/Makefile.inc index b1acfb9..5de8a1e 100644 --- a/gnu/Makefile.inc +++ b/gnu/Makefile.inc @@ -3,4 +3,4 @@ # Do not lint the GNU stuff. It is all externally maintained and # lint output is wasteful noise here. -NOLINT= +NO_LINT= -- cgit v1.1