Index: xotcl/library/store/XOTclGdbm/configure =================================================================== diff -u -re525b7364d9b1fbc7b06e81becf4fe0df06c4209 -r57972e5a2972b1eb5dd63f6e3d483670117feebf --- xotcl/library/store/XOTclGdbm/configure (.../configure) (revision e525b7364d9b1fbc7b06e81becf4fe0df06c4209) +++ xotcl/library/store/XOTclGdbm/configure (.../configure) (revision 57972e5a2972b1eb5dd63f6e3d483670117feebf) @@ -10780,3 +10780,5 @@ + +