Prefer gawk over awk if both are available.

This commit is contained in:
Adam Harvey 2014-04-18 10:39:29 +10:00
parent f71e22768c
commit 808527b5d0

View file

@ -36,7 +36,7 @@ extract_initial_comment_block() {
} }
collect_documentation() { collect_documentation() {
awk ' $(type -p gawk awk | head -1) '
/^Summary:/ { /^Summary:/ {
summary = substr($0, 10) summary = substr($0, 10)
next next