Index: xotcl/library/store/XOTclGdbm/configure =================================================================== diff -u -rf9bb662bd07a30d00a33e75ab3354bb9f8463999 -re525b7364d9b1fbc7b06e81becf4fe0df06c4209 --- xotcl/library/store/XOTclGdbm/configure (.../configure) (revision f9bb662bd07a30d00a33e75ab3354bb9f8463999) +++ xotcl/library/store/XOTclGdbm/configure (.../configure) (revision e525b7364d9b1fbc7b06e81becf4fe0df06c4209) @@ -6150,7 +6150,7 @@ # This defines PKG(_STUB)_SOURCES, PKG(_STUB)_OBJECTS, PKG_HEADERS # and PKG_TCL_SOURCES. #----------------------------------------------------------------------- -if test ! "${with_gdbm}" == no; then +if test ! "${with_gdbm}" = no; then GDBM_INC_DIR="`echo $with_gdbm |cut -f1 -d,`" GDBM_LIB_DIR="`echo $with_gdbm |cut -f2 -d, -s`" fi @@ -10778,3 +10778,5 @@ + +