diff --git a/check-builtins.sh b/check-builtins.sh index cd09309838..d6fe6cf174 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' | -/usr/bin/sort | +sort | { bad=0 while read builtin