From 43612b8678346f93030a51900172af83877a809d Mon Sep 17 00:00:00 2001 From: "leaf%mozilla.org" Date: Tue, 12 Nov 2002 20:15:09 +0000 Subject: [PATCH] Automated update --- configure | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/configure b/configure index 9b0cbb31193a..97cad91c0d5c 100755 --- a/configure +++ b/configure @@ -5145,7 +5145,7 @@ EOF if test "$?" != "0" || test -z "$MOZ_TOOLS_DIR"; then { echo "configure: error: cd \$MOZ_TOOLS failed. MOZ_TOOLS ==? $MOZ_TOOLS" 1>&2; exit 1; } fi - if test `echo ${PATH}: | grep -c "$MOZ_TOOLS_DIR/bin:"` = 0; then + if test `echo ${PATH}: | grep -ic "$MOZ_TOOLS_DIR/bin:"` = 0; then { echo "configure: error: \$MOZ_TOOLS\\bin must be in your path." 1>&2; exit 1; } fi MOZ_TOOLS_DIR=`cygpath -w $MOZ_TOOLS_DIR | sed -e 's|\\\\|/|g'` @@ -5153,7 +5153,7 @@ EOF if test -n "$GLIB_PREFIX"; then _GLIB_PREFIX_DIR=`cd $GLIB_PREFIX && pwd` if test "$?" = "0"; then - if test `echo ${PATH}: | grep -c "$_GLIB_PREFIX_DIR/bin:"` = 0; then + if test `echo ${PATH}: | grep -ic "$_GLIB_PREFIX_DIR/bin:"` = 0; then { echo "configure: error: GLIB_PREFIX must be in your \$PATH." 1>&2; exit 1; } fi _GLIB_PREFIX_DIR=`cygpath -w $_GLIB_PREFIX_DIR | sed -e 's|\\\\|/|g'` @@ -5172,7 +5172,7 @@ EOF if test -n "$LIBIDL_PREFIX"; then _LIBIDL_PREFIX_DIR=`cd $LIBIDL_PREFIX && pwd` if test "$?" = "0"; then - if test `echo ${PATH}: | grep -c "$_LIBIDL_PREFIX_DIR/bin:"` = 0; then + if test `echo ${PATH}: | grep -ic "$_LIBIDL_PREFIX_DIR/bin:"` = 0; then { echo "configure: error: LIBIDL_PREFIX must be in your \$PATH." 1>&2; exit 1; } fi _LIBIDL_PREFIX_DIR=`cygpath -w $_LIBIDL_PREFIX_DIR | sed -e 's|\\\\|/|g'`