From owner-freebsd-hackers@FreeBSD.ORG Sun Jul 25 10:20:24 2010 Return-Path: Delivered-To: hackers@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id 0C64C1065670 for ; Sun, 25 Jul 2010 10:20:24 +0000 (UTC) (envelope-from culot@0xd0.org) Received: from 0xd0.org (ks28346.kimsufi.com [91.121.92.146]) by mx1.freebsd.org (Postfix) with ESMTP id BA48C8FC14 for ; Sun, 25 Jul 2010 10:20:23 +0000 (UTC) Received: from 0xd0.org (doudou.0xd0.org [172.16.0.254]) by 0xd0.org (8.14.4/8.14.4) with ESMTP id o6P9davv015960; Sun, 25 Jul 2010 11:39:36 +0200 (CEST) (envelope-from culot@0xd0.org) Received: (from culot@localhost) by 0xd0.org (8.14.4/8.14.4/Submit) id o6P9datc015959; Sun, 25 Jul 2010 11:39:36 +0200 (CEST) (envelope-from culot) Date: Sun, 25 Jul 2010 11:39:35 +0200 From: Frederic Culot To: hackers@freebsd.org Message-ID: <20100725093935.GC1917@culot.org> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline X-PGP-Key: http://culot.org/public/pgp-key.txt User-Agent: Mutt/1.5.20 (2009-06-14) X-Mailman-Approved-At: Sun, 25 Jul 2010 11:49:29 +0000 Cc: Subject: lint(1) improvements from OpenBSD X-BeenThere: freebsd-hackers@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Technical Discussions relating to FreeBSD List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 25 Jul 2010 10:20:24 -0000 Hi, I noticed on the the FreeBSD list of projects and ideas an item related to lint(1) and the port of improvements from the OpenBSD project: http://www.freebsd.org/projects/ideas/ideas.html#p-lint I would like to know more about this project but unfortunately no technical contact was specified on the web page, hence I write to the hackers list. Does someone have more information related to this project (what improvements does the text refer to)? Has someone started working on it? Thanks, Frederic -- mail: frederic@culot.org web: http://culot.org