From bca4ea8b68403e6f751341b82c65937f14590679 Mon Sep 17 00:00:00 2001 From: Denys Vlasenko Date: Tue, 24 Jan 2017 20:52:42 +0100 Subject: remove "local" bashism from a few scripts Signed-off-by: Denys Vlasenko --- scripts/gen_build_files.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'scripts/gen_build_files.sh') diff --git a/scripts/gen_build_files.sh b/scripts/gen_build_files.sh index ebee17c64..f79fa2f83 100755 --- a/scripts/gen_build_files.sh +++ b/scripts/gen_build_files.sh @@ -20,7 +20,9 @@ chk() { status "CHK" "$@"; } generate() { # NB: data to be inserted at INSERT line is coming on stdin - local src="$1" dst="$2" header="$3" + src="$1" + dst="$2" + header="$3" #chk "${dst}" { # Need to use printf: different shells have inconsistent -- cgit v1.2.3-55-g6feb