# HG changeset patch
# User Edho Prima Arief <edho@myconan.net>
# Date 1310538577 -25200
# Node ID 26c9dc4820519a6b10e2eb91e21100cee6b2414c
# Parent  e17886c8da43fb799ffababdb54320897593b993
Merge. Linux obviously has gnu grep.

diff -r e17886c8da43 -r 26c9dc482051 bash
--- a/bash	Tue Jul 12 02:29:41 2011 +0700
+++ b/bash	Wed Jul 13 13:29:37 2011 +0700
@@ -25,6 +25,7 @@
   Linux)
     _has_rm_I=y
     _has_gnu_ls=y
+    _has_gnu_grep=y
   ;;
   SunOS)
     [ -x /usr/gnu/bin/rm ] && _has_rm_I=y