changeset 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 e17886c8da43
children 65ce115fd21d
files bash
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
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