Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1167475AbdDXJFF convert rfc822-to-8bit (ORCPT ); Mon, 24 Apr 2017 05:05:05 -0400 Received: from relay7-d.mail.gandi.net ([217.70.183.200]:47944 "EHLO relay7-d.mail.gandi.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1167452AbdDXJE4 (ORCPT ); Mon, 24 Apr 2017 05:04:56 -0400 X-Originating-IP: 50.39.160.18 Date: Mon, 24 Apr 2017 02:04:43 -0700 User-Agent: K-9 Mail for Android In-Reply-To: <20170424024448.GV3956@linux.vnet.ibm.com> References: <1ad554b0025913fedf4ec3c7953d1a42fe1f0dde.1492879165.git.priyalee.kushwaha@intel.com> <20170421184721.GA28159@cloud> <20170421220549.GA29494@cloud> <20170424024448.GV3956@linux.vnet.ibm.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8BIT Subject: Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk To: paulmck@linux.vnet.ibm.com, "Paul E. McKenney" CC: "Kushwaha, Priyalee" , "shuah@kernel.org" , "linux-kernel@vger.kernel.org" , "linux-kselftest@vger.kernel.org" From: Josh Triplett Message-ID: Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1882 Lines: 49 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 +0000, 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/ >> > >> > centos-7: >> > lrwxrwxrwx 1 root root 4 Mar 15 19:58 /bin/awk -> gawk lrwxrwxrwx 1 >root root 4 Mar 15 19:58 /usr/bin/awk -> gawk >> > >> > Debian-8: >> > ls: cannot access /bin/awk: No such file or directory lrwxrwxrwx 1 >root root 21 Mar 20 23:26 /usr/bin/awk -> /etc/alternatives/awk >> > >> > Fedora: >> > lrwxrwxrwx. 1 root root 4 Sep 12 2016 /bin/awk -> gawk lrwxrwxrwx. >1 root root 4 Sep 12 2016 /usr/bin/awk -> gawk >> > >> > Gentoo: >> > lrwxrwxrwx 1 root root 15 Jan 1 13:57 /bin/awk -> ../usr/bin/gawk >lrwxrwxrwx 1 root root 4 Jan 1 13:57 /usr/bin/awk -> gawk >> > >> > Opensuse: >> > lrwxrwxrwx 1 root root 21 Mar 20 11:19 /bin/awk -> >/etc/alternatives/awk lrwxrwxrwx 1 root root 29 Mar 20 11:19 >/usr/bin/awk -> /etc/alternatives/usr-bin-awk >> > >> > Slackware: >> > lrwxrwxrwx 1 root root 4 Mar 10 15:37 /bin/awk -> gawk lrwxrwxrwx >1 root root 13 Mar 10 15:37 /usr/bin/awk -> ../../bin/awk >> > >> > Ubuntu: >> > ls: cannot access '/bin/awk': No such file or directory lrwxrwxrwx >1 root root 21 Dec 6 2015 /usr/bin/awk -> /etc/alternatives/awk >> > >> > Poky: >> > ls: /bin/awk: No such file or directory >> > lrwxrwxrwx 1 root root 19 Apr 20 22:59 >/usr/bin/awk >> >> This seems fairly conclusive. Based on this, switching over to >> /usr/bin/awk seems fine. > >Thank you both! Josh, may I have your Acked-by? Reviewed-by: Josh Triplett