From 7db3410ca15942c9f5032834d9b27ad016ea58a1 Mon Sep 17 00:00:00 2001
From: Johannes Sixt <johannes.sixt@telecom.at>
Date: Mon, 8 Jan 2007 18:15:58 +0100
Subject: [PATCH] Avoid Windows's sort by using the full path of /usr/bin/sort.

---
 check-builtins.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/check-builtins.sh b/check-builtins.sh
index a0aaf3a347..16a6e1647c 100755
--- a/check-builtins.sh
+++ b/check-builtins.sh
@@ -9,7 +9,7 @@ EOF
 } |
 make -f - sayIt 2>/dev/null |
 sed -n -e 's/.*XXX \(.*\) YYY.*/\1/p' |
-sort |
+/usr/bin/sort |
 {
     bad=0
     while read builtin
-- 
2.11.4.GIT