diff bash @ 97:65ce115fd21d

Merge.
author Edho Prima Arief <edho@myconan.net>
date Thu, 14 Jul 2011 00:51:44 +0700
parents 26c9dc482051
children a1c6b40a535f
line wrap: on
line diff
--- 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