Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-24 Thread Paul E. McKenney
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

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-24 Thread Paul E. McKenney
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

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-24 Thread Shuah Khan
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. >

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-24 Thread Shuah Khan
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,

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-24 Thread Josh Triplett
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,

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-24 Thread Josh Triplett
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

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-23 Thread Lance Roy
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

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-23 Thread Lance Roy
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.

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-23 Thread Paul E. McKenney
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,

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-23 Thread Paul E. McKenney
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,

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-23 Thread Lance Roy
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,

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-23 Thread Lance Roy
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

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-23 Thread Paul E. McKenney
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

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-23 Thread Paul E. McKenney
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

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-21 Thread Josh Triplett
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/ > >

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-21 Thread Josh Triplett
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/ > >

RE: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-21 Thread Kushwaha, Priyalee
t;priyalee.kushw...@intel.com> 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:

RE: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-21 Thread Kushwaha, 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 Kushwaha > &

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-21 Thread Paul E. McKenney
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

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-21 Thread Paul E. McKenney
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

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-21 Thread Josh Triplett
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

Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-21 Thread Josh Triplett
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. > >

[PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-21 Thread priyalee . kushwaha
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 ---

[PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk

2017-04-21 Thread priyalee . kushwaha
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 ---