diff options
author | Denys Vlasenko <vda.linux@googlemail.com> | 2011-10-19 21:17:20 +0200 |
---|---|---|
committer | Denys Vlasenko <vda.linux@googlemail.com> | 2011-10-19 21:17:20 +0200 |
commit | 4ea37d62c2b90e360a97c43ffdb10afabaac46d9 (patch) | |
tree | 70a1af033aa6694beb460a4eecb2326f23c07df6 /scripts/gen_build_files.sh | |
parent | efd08bfa0adab3ae299be7abdd45161a15804a3b (diff) |
gen_build_files.sh: simplify "print everything up to INSERT line" part
Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
Diffstat (limited to 'scripts/gen_build_files.sh')
-rwxr-xr-x | scripts/gen_build_files.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/gen_build_files.sh b/scripts/gen_build_files.sh index 1a3d3e9b8..c42fe9fbb 100755 --- a/scripts/gen_build_files.sh +++ b/scripts/gen_build_files.sh @@ -27,11 +27,11 @@ generate() # rules re handling of "\n" in echo params. printf "%s\n" "${header}" # print everything up to INSERT line - sed -n '/^INSERT$/q;1,/^INSERT$/p' "${src}" + sed -n '/^INSERT$/ q; p' "${src}" # copy stdin to stdout cat # print everything after INSERT line - sed -n '/^INSERT$/{:l;n;p;bl}' "${src}" + sed -n '/^INSERT$/ { :l; n; p; bl }' "${src}" } >"${dst}.tmp" if ! cmp -s "${dst}" "${dst}.tmp"; then gen "${dst}" |