1
1

Brian pointed out that not all all platforms have egrep -- use "grep

-E" instead.

This commit was SVN r5666.
Этот коммит содержится в:
Jeff Squyres 2005-05-10 14:02:28 +00:00
родитель 5d1685edbc
Коммит f6a00d4cd0

Просмотреть файл

@ -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