Checking FreeBSD kernel with static analyzer

[Svyatoslav Razmyslov]

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 <russ.haley at gmail.com> 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 at FreeBSD.org; wblock at 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 at freebsd.org mailing list
>> https://lists.freebsd.org/mailman/listinfo/freebsd-doc
>> To unsubscribe, send any mail to "freebsd-doc-unsubscribe at freebsd.org"


-- 
Svyatoslav Razmyslov
"Program Verification Systems" (Co Ltd)