please patch for dbmaker

Hey, there: We just added some patch to php CVS specifically for our database driver - DBMaker. The modifications are made in one file, ext/odbc/config.m4. For config.m4, we did some modifications to the paths to our database driver. Would you please be kind enough to include this patch to the future releases of PHP as soon as possible? We really appreciate it. Thanks a lot. --chihfeng ************************ BEGIN PATCH **************************** diff -ur php-4.0.4pl1old/ext/odbc/config.m4 php-4.0.4pl1/ext/odbc/config.m4 --- php-4.0.4pl1old/ext/odbc/config.m4 Wed Nov 22 23:31:04 2000 +++ php-4.0.4pl1/ext/odbc/config.m4 Wed Feb 21 12:20:01 2001 @@ -407,8 +407,8 @@ # check DBMaker version (from 5.0 to 2.0) DBMAKER_VERSION=5.0 - while [[ test ! -d $DBMAKER_HOME/$DBMAKER_VERSION -a \ - "$DBMAKER_VERSION" != "2.9" ]]; do + while test ! -d $DBMAKER_HOME/$DBMAKER_VERSION -a \ + "$DBMAKER_VERSION" != "2.9"; do DM_VER=`echo $DBMAKER_VERSION | sed -e 's/\.//' | awk '{ print $1-1;}'` MAJOR_V=`echo $DM_VER | awk '{ print $1/10; }' \ | awk -F. '{ print $1; }'` @@ -416,7 +416,7 @@ DBMAKER_VERSION=$MAJOR_V.$MINOR_V done - if [[ "$DBMAKER_VERSION" = "2.9" ]]; then + if test "$DBMAKER_VERSION" = "2.9"; then withval=$DBMAKER_HOME else DBMAKER_PATH=$DBMAKER_HOME/$DBMAKER_VERSION ************************ END PATCH ****************************