From 91f71a3284354257c34f9a019bd30fdd651a4f7c Mon Sep 17 00:00:00 2001 From: Florian Franzmann Date: Wed, 3 Jun 2020 13:31:45 +0200 Subject: [PATCH] fix hard-coded path to awk --- Documentation/arm/samsung/clksrc-change-registers.awk | 2 +- scripts/ld-version.sh | 2 +- scripts/ver_linux | 2 +- .../selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/Documentation/arm/samsung/clksrc-change-registers.awk b/Documentation/arm/samsung/clksrc-change-registers.awk index 7be1b8aa7..b09b6bfb8 100755 --- a/Documentation/arm/samsung/clksrc-change-registers.awk +++ b/Documentation/arm/samsung/clksrc-change-registers.awk @@ -1,4 +1,4 @@ -#!/usr/bin/awk -f +#!/bin/awk -f # # Copyright 2010 Ben Dooks # diff --git a/scripts/ld-version.sh b/scripts/ld-version.sh index f2be0ff9a..65a8bb8a7 100755 --- a/scripts/ld-version.sh +++ b/scripts/ld-version.sh @@ -1,4 +1,4 @@ -#!/usr/bin/awk -f +#!/bin/awk -f # SPDX-License-Identifier: GPL-2.0 # extract linker version number from stdin and turn into single number { diff --git a/scripts/ver_linux b/scripts/ver_linux index 0968a3070..9a7bcccb8 100755 --- a/scripts/ver_linux +++ b/scripts/ver_linux @@ -1,4 +1,4 @@ -#!/usr/bin/awk -f +#!/bin/awk -f # SPDX-License-Identifier: GPL-2.0 # Before running this script please ensure that your PATH is # typical as you use for compilation/installation. I use diff --git a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk index e05182d3e..000ccf52d 100755 --- a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk +++ b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk @@ -1,4 +1,4 @@ -#!/usr/bin/awk -f +#!/bin/awk -f # SPDX-License-Identifier: GPL-2.0 # Modify SRCU for formal verification. The first argument should be srcu.h and -- 2.27.0