# HG changeset patch # User Edho Prima Arief # Date 1310579504 -25200 # Node ID 65ce115fd21d15c80d7f29cf8beff44cbff4383e # Parent a5324d2cc0eba0d7a26e25bb976976139bb6fa41# Parent 26c9dc4820519a6b10e2eb91e21100cee6b2414c Merge. diff -r a5324d2cc0eb -r 65ce115fd21d bash --- a/bash Thu Jul 14 00:50:23 2011 +0700 +++ b/bash Thu Jul 14 00:51:44 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