diff options
| -rwxr-xr-x | scripts/gen_build_files.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/scripts/gen_build_files.sh b/scripts/gen_build_files.sh index ac8ccb933..03831f501 100755 --- a/scripts/gen_build_files.sh +++ b/scripts/gen_build_files.sh | |||
| @@ -18,9 +18,10 @@ generate() | |||
| 18 | local src="$1" dst="$2" header="$3" insert="$4" | 18 | local src="$1" dst="$2" header="$3" insert="$4" |
| 19 | #chk "${dst}" | 19 | #chk "${dst}" |
| 20 | ( | 20 | ( |
| 21 | # need to use printf: different shells have inconsistent | 21 | # Need to use printf: different shells have inconsistent |
| 22 | # rules re handling of "\n" in their params, | 22 | # rules re handling of "\n" in echo params, |
| 23 | # and ${insert} definitely contains "\n" | 23 | # and ${insert} definitely contains "\n". |
| 24 | # Therefore, echo "${header}" would not work: | ||
| 24 | printf "%s\n" "${header}" | 25 | printf "%s\n" "${header}" |
| 25 | if grep -qs '^INSERT$' "${src}"; then | 26 | if grep -qs '^INSERT$' "${src}"; then |
| 26 | sed -n '1,/^INSERT$/p' "${src}" | 27 | sed -n '1,/^INSERT$/p' "${src}" |