From f6a00d4cd0578ad71e29a51bd966cf4ae206371c Mon Sep 17 00:00:00 2001
From: Jeff Squyres <jsquyres@cisco.com>
Date: Tue, 10 May 2005 14:02:28 +0000
Subject: [PATCH] Brian pointed out that not all all platforms have egrep --
 use "grep -E" instead.

This commit was SVN r5666.
---
 autogen.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/autogen.sh b/autogen.sh
index 9c569fa3e0..0279b6b8e9 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -466,7 +466,7 @@ EOF
 EOF
         elif test -f .ompi_ignore -a \
              -s .ompi_unignore -a \
-             -z "`egrep $USER\$\|$USER@$HOST .ompi_unignore`" ; then
+             -z "`grep -E $USER\$\|$USER@$HOST .ompi_unignore`" ; then
 
             # If we have a non-empty .ompi_unignore and our username
             # is in there somewhere, we ignore the .ompi_ignore (and