Date: Sat, 18 Nov 2017 15:15:59 +0100 From: Stefan Esser <se@freebsd.org> To: Pedro Giffuni <pfg@FreeBSD.org> Cc: rgrimes@freebsd.org, "svn-src-head@freebsd.org" <svn-src-head@freebsd.org>, "svn-src-all@freebsd.org" <svn-src-all@freebsd.org>, src-committers <src-committers@freebsd.org>, Warner Losh <imp@bsdimp.com>, "O. Hartmann" <ohartman@zedat.fu-berlin.de> Subject: Re: svn commit: r325954 - in head: . share/mk sys/conf usr.sbin/config Message-ID: <04747a89-4dc7-a476-dc32-a158ee1f5240@freebsd.org> In-Reply-To: <29499AF9-FC0A-4CDA-9657-B092B3F9A0D0@FreeBSD.org> References: <201711180134.vAI1Y2ks064138@pdx.rh.CN85.dnsmgr.net> <29499AF9-FC0A-4CDA-9657-B092B3F9A0D0@FreeBSD.org>
next in thread | previous in thread | raw e-mail | index | archive | help
Am 18.11.17 um 03:31 schrieb Pedro Giffuni: > >> On Nov 17, 2017, at 20:34, Rodney W. Grimes <freebsd@pdx.rh.CN85.dnsmgr.net> wrote: >> >> [ Charset UTF-8 unsupported, converting... ] >>> Kib@ posted to arch that we were removing it, nobody objected, we removed >>> it. If it was a working feature that might have a few users, that's one >>> thing. But I don't think make lint has actually worked in at least a decade. >> >> Thats a sad state of affairs. >> > > t’s not sad, just the way things are, modern compilers are doing much of the checking older tools like lint used to do.. OpenBSD and DragonflyBSD both killed lint ages ago. > > OTOH, we should probably consider other tools, like sparse: > > https://sparse.wiki.kernel.org/index.php/Main_Page > > The license is fine and it plays nice with the compiler. It builds on -CURRENT, but the Makefile needs some tweaks (it does not find LLVM or Gtk+-2.0, even though they are present on my system). I'll work on a port over the weekend ... Regards, STefan
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?04747a89-4dc7-a476-dc32-a158ee1f5240>