diff options
Diffstat (limited to 'contrib/check_GNU_style.sh')
| -rwxr-xr-x | contrib/check_GNU_style.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/check_GNU_style.sh b/contrib/check_GNU_style.sh index a7478f8f573..87a276c9cf4 100755 --- a/contrib/check_GNU_style.sh +++ b/contrib/check_GNU_style.sh @@ -191,7 +191,7 @@ col (){ # Combine prefix back with long lines. # Filter out empty lines. local found=false - paste -d '' "$tmp2" "$tmp3" \ + paste -d '\0' "$tmp2" "$tmp3" \ | grep -v '^[0-9][0-9]*:+$' \ > "$tmp" && found=true |