1 files changed, 3 insertions, 3 deletions
diff --git a/scripts/gen_build_files.sh b/scripts/gen_build_files.sh
index 130269b10..620f49548 100755
--- a/scripts/gen_build_files.sh
+++ b/scripts/gen_build_files.sh
@@ -18,14 +18,14 @@ generate()
        local src="$1" dst="$2" header="$3" insert="$4"
        #chk "${dst}"
        (
-                echo "${header}"
+                printf "%s\n" "${header}"
                if grep -qs '^INSERT$' "${src}"; then
                        sed -n '1,/^INSERT$/p' "${src}"
-                        echo "${insert}"
+                        printf "%s\n" "${insert}"
                        sed -n '/^INSERT$/,$p' "${src}"
                else
                        if [ -n "${insert}" ]; then
-                                echo "ERROR: INSERT line missing in: ${src}" 1>&2
+                                printf "%s\n" "ERROR: INSERT line missing in: ${src}" 1>&2
                        fi
                        cat "${src}"
                fi

diff --git a/scripts/gen_build_files.sh b/scripts/gen_build_files.sh index 130269b10..620f49548 100755 --- a/scripts/gen_build_files.sh +++ b/scripts/gen_build_files.sh
@@ -18,14 +18,14 @@ 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	echo "${header}"	21	printf "%s\n" "${header}"
22	if grep -qs '^INSERT$' "${src}"; then	22	if grep -qs '^INSERT$' "${src}"; then
23	sed -n '1,/^INSERT$/p' "${src}"	23	sed -n '1,/^INSERT$/p' "${src}"
24	echo "${insert}"	24	printf "%s\n" "${insert}"
25	sed -n '/^INSERT$/,$p' "${src}"	25	sed -n '/^INSERT$/,$p' "${src}"
26	else	26	else
27	if [ -n "${insert}" ]; then	27	if [ -n "${insert}" ]; then
28	echo "ERROR: INSERT line missing in: ${src}" 1>&2	28	printf "%s\n" "ERROR: INSERT line missing in: ${src}" 1>&2
29	fi	29	fi
30	cat "${src}"	30	cat "${src}"
31	fi	31	fi