Prefer gawk over awk if both are available.

This commit is contained in:
Yamashita Yuu 2014-05-01 13:08:25 +09:00
parent fe87e44870
commit 0c81002220
2 changed files with 2 additions and 2 deletions

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

View file

@ -9,7 +9,7 @@ if [ -e "$VERSION_FILE" ]; then
# Read the first non-whitespace word from the specified version file. # Read the first non-whitespace word from the specified version file.
# Be careful not to load it whole in case there's something crazy in it. # Be careful not to load it whole in case there's something crazy in it.
IFS="${IFS}"$'\r' IFS="${IFS}"$'\r'
words=( $(cut -b 1-1024 "$VERSION_FILE" | awk '{ print($1) }') ) words=( $(cut -b 1-1024 "$VERSION_FILE" | $(type -p gawk awk | head -1) '{ print($1) }') )
versions=("${words[@]}") versions=("${words[@]}")
if [ -n "$versions" ]; then if [ -n "$versions" ]; then