diff options
| author | ru <ru@FreeBSD.org> | 2004-12-21 09:33:47 +0000 |
|---|---|---|
| committer | ru <ru@FreeBSD.org> | 2004-12-21 09:33:47 +0000 |
| commit | 74176cc1618932a3f20bb4d6cd287faf3fb63332 (patch) | |
| tree | dcfb6380484a67e96d7ddeee0502d82b9078ed14 /gnu/Makefile.inc | |
| parent | 3b01b845055a6c3374f14bc8997be5a5d299cd8c (diff) | |
| download | FreeBSD-src-74176cc1618932a3f20bb4d6cd287faf3fb63332.zip FreeBSD-src-74176cc1618932a3f20bb4d6cd287faf3fb63332.tar.gz | |
NODOCCOMPRESS -> NO_DOCCOMPRESS
NOINFO -> NO_INFO
NOINFOCOMPRESS -> NO_INFOCOMPRESS
NOLINT -> NO_LINT
NOPIC -> NO_PIC
NOPROFILE -> NO_PROFILE
Diffstat (limited to 'gnu/Makefile.inc')
| -rw-r--r-- | gnu/Makefile.inc | 2 |
1 files changed, 1 insertions, 1 deletions
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= |
