On Mon, Apr 24, 2017 at 08:02:10AM -0600, Shuah Khan wrote:
> On 04/22/2017 11:17 AM, priyalee.kushw...@intel.com wrote:
> > From: Priyalee Kushwaha
> >
> > Most OS distribution have awk in /usr/bin not in /bin
> > Without this patch, kernel-devsrc fails to build as
> > runtime dependency for src
On 04/22/2017 11:17 AM, priyalee.kushw...@intel.com wrote:
> From: Priyalee Kushwaha
>
> Most OS distribution have awk in /usr/bin not in /bin
> Without this patch, kernel-devsrc fails to build as
> runtime dependency for srcu-cbmc script /bin/awk is
> not found.
>
> Signed-off-by: Kushwaha, Pri
On April 23, 2017 7:44:48 PM PDT, "Paul E. McKenney"
wrote:
>On Fri, Apr 21, 2017 at 03:05:49PM -0700, Josh Triplett wrote:
>> On Fri, Apr 21, 2017 at 09:52:10PM +, Kushwaha, Priyalee wrote:
>> > Tested 9 distros centos, Debian, Fedora, Gentoo, Opensuse,
>slackware, Ubuntu, poky showed awk at
Acked-by: Lance Roy
On Sat, 22 Apr 2017 10:17:11 -0700
priyalee.kushw...@intel.com wrote:
> From: Priyalee Kushwaha
>
> Most OS distribution have awk in /usr/bin not in /bin
> Without this patch, kernel-devsrc fails to build as
> runtime dependency for srcu-cbmc script /bin/awk is
> not found.
On Sun, Apr 23, 2017 at 08:24:11PM -0700, Lance Roy wrote:
> This is fine with me. I didn't notice that /bin/awk was just a symlink on the
> distro I was using when I wrote the script.
Very good! May I please have your Acked-by?
Thanx, Paul
This is fine with me. I didn't notice that /bin/awk was just a symlink on the
distro I was using when I wrote the script.
Thanks,
Lance
On Fri, 21 Apr 2017 10:50:42 -0700
"Paul E. McKenney" wrote:
> On Sat, Apr 22, 2017 at 10:17:11AM -0700, priyalee.kushw...@intel.com wrote:
> > From: Priyalee
On Fri, Apr 21, 2017 at 03:05:49PM -0700, Josh Triplett wrote:
> On Fri, Apr 21, 2017 at 09:52:10PM +, Kushwaha, Priyalee wrote:
> > Tested 9 distros centos, Debian, Fedora, Gentoo, Opensuse, slackware,
> > Ubuntu, poky showed awk at /usr/bin/awk.
> >
> > Here is another similar patch which
On Fri, Apr 21, 2017 at 09:52:10PM +, Kushwaha, Priyalee wrote:
> Tested 9 distros centos, Debian, Fedora, Gentoo, Opensuse, slackware, Ubuntu,
> poky showed awk at /usr/bin/awk.
>
> Here is another similar patch which has been approved
> https://patchwork.kernel.org/patch/9650581/
>
> cen
, Priyalee
Cc: paul...@linux.vnet.ibm.com; sh...@kernel.org; linux-kernel@vger.kernel.org;
linux-kselft...@vger.kernel.org
Subject: Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk
On Sat, Apr 22, 2017 at 10:17:11AM -0700, priyalee.kushw...@intel.com wrote:
> From: Priyalee Kushwah
On Sat, Apr 22, 2017 at 10:17:11AM -0700, priyalee.kushw...@intel.com wrote:
> From: Priyalee Kushwaha
>
> Most OS distribution have awk in /usr/bin not in /bin
> Without this patch, kernel-devsrc fails to build as
> runtime dependency for srcu-cbmc script /bin/awk is
> not found.
Adding Lance o
On Sat, Apr 22, 2017 at 10:17:11AM -0700, priyalee.kushw...@intel.com wrote:
> From: Priyalee Kushwaha
>
> Most OS distribution have awk in /usr/bin not in /bin
> Without this patch, kernel-devsrc fails to build as
> runtime dependency for srcu-cbmc script /bin/awk is
> not found.
>
> Signed-off
From: Priyalee Kushwaha
Most OS distribution have awk in /usr/bin not in /bin
Without this patch, kernel-devsrc fails to build as
runtime dependency for srcu-cbmc script /bin/awk is
not found.
Signed-off-by: Kushwaha, Priyalee
---
tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu
12 matches
Mail list logo