Index: xotcl/library/store/XOTclGdbm/configure =================================================================== diff -u -r1aa7246cc8e44078c9dbd33e03992478615f314f -r20e421dc641dc39b53106b1296ac7e09d0b206f2 --- xotcl/library/store/XOTclGdbm/configure (.../configure) (revision 1aa7246cc8e44078c9dbd33e03992478615f314f) +++ xotcl/library/store/XOTclGdbm/configure (.../configure) (revision 20e421dc641dc39b53106b1296ac7e09d0b206f2) @@ -10776,3 +10776,5 @@ + +