|
@@ -27,11 +27,11 @@ generate()
|
|
# rules re handling of "\n" in echo params.
|
|
# rules re handling of "\n" in echo params.
|
|
printf "%s\n" "${header}"
|
|
printf "%s\n" "${header}"
|
|
# print everything up to INSERT line
|
|
# print everything up to INSERT line
|
|
- sed -n '/^INSERT$/q;1,/^INSERT$/p' "${src}"
|
|
|
|
|
|
+ sed -n '/^INSERT$/ q; p' "${src}"
|
|
# copy stdin to stdout
|
|
# copy stdin to stdout
|
|
cat
|
|
cat
|
|
# print everything after INSERT line
|
|
# print everything after INSERT line
|
|
- sed -n '/^INSERT$/{:l;n;p;bl}' "${src}"
|
|
|
|
|
|
+ sed -n '/^INSERT$/ { :l; n; p; bl }' "${src}"
|
|
} >"${dst}.tmp"
|
|
} >"${dst}.tmp"
|
|
if ! cmp -s "${dst}" "${dst}.tmp"; then
|
|
if ! cmp -s "${dst}" "${dst}.tmp"; then
|
|
gen "${dst}"
|
|
gen "${dst}"
|