From owner-freebsd-doc@freebsd.org Mon Feb 15 07:52:13 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 80315AA908E for ; Mon, 15 Feb 2016 07:52:13 +0000 (UTC) (envelope-from razmyslov@viva64.com) Received: from s24sixth.in-solve.ru (s24sixth.in-solve.ru [81.177.160.5]) by mx1.freebsd.org (Postfix) with ESMTP id 66B7919C9; Mon, 15 Feb 2016 07:52:11 +0000 (UTC) (envelope-from razmyslov@viva64.com) Received: from Spooler by s24sixth.in-solve.ru (Mercury/32 v4.52) ID MO002050; 15 Feb 2016 10:52:12 +0300 Received: from spooler by mail.in-solve.hidden (Mercury/32 v4.52); 15 Feb 2016 10:51:53 +0300 Received: from mail.in-solve.hidden (10.0.1.27) by mail.1gb.ru (Mercury/32 v4.52) with ESMTP ID MG00204D; 15 Feb 2016 10:51:47 +0300 Received: from Spooler by mail.in-solve.hidden (Mercury/32 v4.52) ID MO001946; 15 Feb 2016 10:51:47 +0300 Received: from spooler by mail.in-solve.hidden (Mercury/32 v4.52); 15 Feb 2016 10:51:37 +0300 Received: from [192.168.1.87] (91.206.72.109) by mail.1gb.ru (Mercury/32 v4.52) with ESMTP ID MG001940; 15 Feb 2016 10:51:31 +0300 Subject: Re: Checking FreeBSD kernel with static analyzer To: Russell Haley , Warren Block References: <56BB00C3.5060309@viva64.com> <56BB5718.1090700@viva64.com> <56BC31B6.6010405@viva64.com> <20160215014958.4403283.67999.2948@gmail.com> Cc: Andrey Karpov , freebsd-doc@freebsd.org, wblock@freebsd.org From: Svyatoslav Razmyslov Message-ID: <56C18380.90405@viva64.com> Date: Mon, 15 Feb 2016 10:51:28 +0300 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit 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: Mon, 15 Feb 2016 07:52:13 -0000 Hi everybody! 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. 15.02.2016 9:01, Russell Haley пишет: > Just guessing but: > > Current Git Number: 217961 > Git Commit Count at test: 217717 > Difference: 244 > > Current svn revision: 295622 > > SO 295622 - 244 = r295378? > > Russ > > On Sun, Feb 14, 2016 at 5:49 PM, Russell Haley wrote: >> Warren, >> >> That looks like the git commit count‎. Not sure how it correlates to the subversion revision. >> >> Russ >> >> Sent from my BlackBerry 10 smartphone on the Koodo network. >> Original Message >> From: Warren Block >> Sent: Sunday, February 14, 2016 10:36 AM >> To: Svyatoslav Razmyslov >> Cc: Andrey Karpov; freebsd-doc@FreeBSD.org; wblock@FreeBSD.org >> Subject: Re: Checking FreeBSD kernel with static analyzer >> >> On Thu, 11 Feb 2016, Svyatoslav Razmyslov wrote: >> >>> Hi, Warren. >>> >>> I used GitHub repository: https://github.com/freebsd/freebsd >>> git branch: master >>> >>> For command: "git rev-list HEAD --count", verified revision is 217717. >> Sorry, is that a Subversion revision number? 217717 in our Subversion >> repository dates back to 2011. >> _______________________________________________ >> freebsd-doc@freebsd.org mailing list >> https://lists.freebsd.org/mailman/listinfo/freebsd-doc >> To unsubscribe, send any mail to "freebsd-doc-unsubscribe@freebsd.org" -- Svyatoslav Razmyslov "Program Verification Systems" (Co Ltd)