From owner-freebsd-doc@freebsd.org Mon Feb 15 06:01:57 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 1E172AA8468 for ; Mon, 15 Feb 2016 06:01:57 +0000 (UTC) (envelope-from russ.haley@gmail.com) Received: from mail-vk0-x22b.google.com (mail-vk0-x22b.google.com [IPv6:2607:f8b0:400c:c05::22b]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id D7D7E10ED; Mon, 15 Feb 2016 06:01:56 +0000 (UTC) (envelope-from russ.haley@gmail.com) Received: by mail-vk0-x22b.google.com with SMTP id k196so100030433vka.0; Sun, 14 Feb 2016 22:01:56 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=/eqET+pAcWb4nNg1Mhm2xub0dCHvsebfKQEH3kpA/Ag=; b=UnyjwT/XZ5qzbqiYZYXhBvWMcePWfcL/KPXt1elcJZqy4+fxYu/9qUh9zTEoCj8xjj w8Dao1KssWMS9IJX6Eo82/cHHCrAI5lMv5OTUdLAxyW7/sQYXLAqqtA+a+TLE+tBEAnk 5Jm2S4rvlkiiCWy6omlb38M2p+woCXsubzcvXpHQlBG1BKai7qU0kZWzRaRlMkYacuqu e/EIKCmWjl1/ZzFyKqKvHnZbB83fayIUEYPEJ+E+AtlFOsWYD1qweOdbxOOTVmWZfQze /Ubspk1Oc7/z5ne+zL+QCosk/f1cs7CI6ipOz9/M51Dy9kUD5oKHgA7kkKqKbZYi3w3E jeuA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=/eqET+pAcWb4nNg1Mhm2xub0dCHvsebfKQEH3kpA/Ag=; b=V7JI8xG6t+XOLuH4nxZhenz7kXvjRKD/HGczizplunoZuhqfrJaGoykYE+tIM/nMue 8onznz3ns5euiEZGZkMa3UrXMQV0tY5flzaIK5fiEua3qfKyzfNrgcmb+90+IqgScPp1 TvtLlA/7n6fsHJrqjFipG2aKjTYWntwQtHuIFn6E2FTD98Mn8l9YZXY1dRqJkpdz+3w1 ZVm+DkUuQUX7NkzTfEs/a45/gGgtCX+Twgok1M332ADzRiSViSficWHLNsguoGJdynsp yaeF2O7gIpdCJHXhDEcAG0Ho7bfoppvA3iOER7lQ9dnKV6MwhFjzk7LUiQ3NlVFjhoq4 beAA== X-Gm-Message-State: AG10YORIzuJ02zrtoKW4+iM5n/hPN8kBumiiBFn1fw7Vh+KnttIV56RilvUbv4Kj/QW2NWm0LFoQn8RLG+BuNA== MIME-Version: 1.0 X-Received: by 10.31.141.75 with SMTP id p72mr11737247vkd.13.1455516115637; Sun, 14 Feb 2016 22:01:55 -0800 (PST) Received: by 10.31.54.13 with HTTP; Sun, 14 Feb 2016 22:01:55 -0800 (PST) In-Reply-To: <20160215014958.4403283.67999.2948@gmail.com> References: <56BB00C3.5060309@viva64.com> <56BB5718.1090700@viva64.com> <56BC31B6.6010405@viva64.com> <20160215014958.4403283.67999.2948@gmail.com> Date: Sun, 14 Feb 2016 22:01:55 -0800 Message-ID: Subject: Re: Checking FreeBSD kernel with static analyzer From: Russell Haley To: Warren Block , Svyatoslav Razmyslov Cc: Andrey Karpov , freebsd-doc@freebsd.org, wblock@freebsd.org 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: Mon, 15 Feb 2016 06:01:57 -0000 Just guessing but: Current Git Number: 217961 Git Commit Count at test: 217717 Difference: 244 Current svn revision: 295622 SO 295622 - 244 =3D r295378? Russ On Sun, Feb 14, 2016 at 5:49 PM, Russell Haley wrote= : > Warren, > > That looks like the git commit count=E2=80=8E. 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"