diff bash @ 96:26c9dc482051

Merge. Linux obviously has gnu grep.
author Edho Prima Arief <edho@myconan.net>
date Wed, 13 Jul 2011 13:29:37 +0700
parents f993714efa7b
children a1c6b40a535f
line wrap: on
line diff
--- 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