From 808527b5d0c40b83d289773460d1e53c6bc0f52a Mon Sep 17 00:00:00 2001
From: Adam Harvey <aharvey@newrelic.com>
Date: Fri, 18 Apr 2014 10:39:29 +1000
Subject: [PATCH] Prefer gawk over awk if both are available.

---
 libexec/rbenv-help | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libexec/rbenv-help b/libexec/rbenv-help
index f15e83fd..9a3049aa 100755
--- a/libexec/rbenv-help
+++ b/libexec/rbenv-help
@@ -36,7 +36,7 @@ extract_initial_comment_block() {
 }
 
 collect_documentation() {
-  awk '
+  $(type -p gawk awk | head -1) '
     /^Summary:/ {
       summary = substr($0, 10)
       next