aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscripts/gen_build_files.sh7
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()
local src="$1" dst="$2" header="$3" insert="$4"
#chk "${dst}"
(
- # need to use printf: different shells have inconsistent
- # rules re handling of "\n" in their params,
- # and ${insert} definitely contains "\n"
+ # Need to use printf: different shells have inconsistent
+ # rules re handling of "\n" in echo params,
+ # and ${insert} definitely contains "\n".
+ # Therefore, echo "${header}" would not work:
printf "%s\n" "${header}"
if grep -qs '^INSERT$' "${src}"; then
sed -n '1,/^INSERT$/p' "${src}"