diff options
Diffstat (limited to 'scripts/gen_build_files.sh')
| -rwxr-xr-x | scripts/gen_build_files.sh | 4 |
1 files changed, 3 insertions, 1 deletions
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 |