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

From	"Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
Newsgroups	linux.kernel
Subject	Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk
Date	2017-04-24 04:50 +0200
Message-ID	<tzCeB-HU-3@gated-at.bofh.it> (permalink)
References	<tyLtF-Ix-49@gated-at.bofh.it> <tyLN0-Pg-17@gated-at.bofh.it> <tyOKR-2xl-1@gated-at.bofh.it> <tyOUy-2RV-21@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw

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?

							Thanx, Paul

Thread

[PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk priyalee.kushwaha@intel.com - 2017-04-21 20:30 +0200
  Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk Josh Triplett <josh@joshtriplett.org> - 2017-04-21 20:50 +0200
    RE: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk "Kushwaha, Priyalee" <priyalee.kushwaha@intel.com> - 2017-04-22 00:00 +0200
      Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk Josh Triplett <josh@joshtriplett.org> - 2017-04-22 00:10 +0200
        Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> - 2017-04-24 04:50 +0200
          Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk Josh Triplett <josh@joshtriplett.org> - 2017-04-24 11:10 +0200
  Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> - 2017-04-21 22:20 +0200
    Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk Lance Roy <ldr709@gmail.com> - 2017-04-24 05:30 +0200
      Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> - 2017-04-24 05:40 +0200
  Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk Lance Roy <ldr709@gmail.com> - 2017-04-24 08:00 +0200
  Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk Shuah Khan <shuah@kernel.org> - 2017-04-24 16:10 +0200
    Re: [PATCH v1 1/1] srcu-cbmc: Use /usr/bin/awk instead of /bin/awk "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> - 2017-04-24 19:10 +0200

csiph-web