diff options
| author | Brooks Davis <brooks@FreeBSD.org> | 2025-06-05 23:55:34 +0000 |
|---|---|---|
| committer | Brooks Davis <brooks@FreeBSD.org> | 2025-06-05 23:55:34 +0000 |
| commit | 8e35800732573de6c4bc1dd3ac420447fca96231 (patch) | |
| tree | 9f537524cfd563ac5de943b465a5bfd075dac5f7 /gnu | |
| parent | e9897199576a40360440aa4d2aa48d61c4010f11 (diff) | |
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/Makefile.inc | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/gnu/Makefile.inc b/gnu/Makefile.inc index 6ceebdef9d59..7f963b3788d1 100644 --- a/gnu/Makefile.inc +++ b/gnu/Makefile.inc @@ -1,4 +1 @@ -# Do not lint the GNU stuff. It is all externally maintained and -# lint output is wasteful noise here. - -NO_LINT= +# This file is empty to prevent infinite recursion in */Makefile.inc |