From owner-freebsd-doc@freebsd.org Tue Feb 16 18:17:12 2016 Return-Path: Delivered-To: freebsd-doc@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id BF6F4AAA056 for ; Tue, 16 Feb 2016 18:17:12 +0000 (UTC) (envelope-from des@des.no) Received: from smtp.des.no (smtp.des.no [194.63.250.102]) by mx1.freebsd.org (Postfix) with ESMTP id 863B4128E; Tue, 16 Feb 2016 18:17:12 +0000 (UTC) (envelope-from des@des.no) Received: from desk.des.no (smtp.des.no [194.63.250.102]) by smtp.des.no (Postfix) with ESMTP id 59B78CAB0; Tue, 16 Feb 2016 18:17:11 +0000 (UTC) Received: by desk.des.no (Postfix, from userid 1001) id C49EF462E3; Tue, 16 Feb 2016 19:17:08 +0100 (CET) From: =?utf-8?Q?Dag-Erling_Sm=C3=B8rgrav?= To: Svyatoslav Razmyslov Cc: Russell Haley , Warren Block , Andrey Karpov , freebsd-doc@freebsd.org, wblock@freebsd.org Subject: Re: Checking FreeBSD kernel with static analyzer References: <56BB00C3.5060309@viva64.com> <56BB5718.1090700@viva64.com> <56BC31B6.6010405@viva64.com> <20160215014958.4403283.67999.2948@gmail.com> <56C18380.90405@viva64.com> Date: Tue, 16 Feb 2016 19:17:08 +0100 In-Reply-To: <56C18380.90405@viva64.com> (Svyatoslav Razmyslov's message of "Mon, 15 Feb 2016 10:51:28 +0300") Message-ID: <86y4aktt97.fsf@desk.des.no> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (berkeley-unix) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: freebsd-doc@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: Documentation project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 16 Feb 2016 18:17:12 -0000 Svyatoslav Razmyslov writes: > I downloaded the source code with the command "git clone > https://github.com/freebsd/freebsd.git" (master branch). If you need > additional information, please, send the necessary commands for Git > and I'll send you the result. Can you please show the result of "git rev-parse HEAD"? DES --=20 Dag-Erling Sm=C3=B8rgrav - des@des.no