Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1042734AbdDUWFy (ORCPT ); Fri, 21 Apr 2017 18:05:54 -0400 Received: from relay4-d.mail.gandi.net ([217.70.183.196]:46770 "EHLO relay4-d.mail.gandi.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1041791AbdDUWFw (ORCPT ); Fri, 21 Apr 2017 18:05:52 -0400 Date: Fri, 21 Apr 2017 15:05:49 -0700 From: Josh Triplett To: "Kushwaha, Priyalee" Cc: "paulmck@linux.vnet.ibm.com" , "shuah@kernel.org" , "linux-kernel@vger.kernel.org" , "linux-kselftest@vger.kernel.org" Subject: Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk Message-ID: <20170421220549.GA29494@cloud> References: <1ad554b0025913fedf4ec3c7953d1a42fe1f0dde.1492879165.git.priyalee.kushwaha@intel.com> <20170421184721.GA28159@cloud> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1518 Lines: 32 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.