Index: xotcl/library/store/XOTclGdbm/configure =================================================================== diff -u -r489071934af0126a0f768b0ced07dea3b2328a23 -r0896d4deb00780e48b5b03269bf9c4ecca948919 --- xotcl/library/store/XOTclGdbm/configure (.../configure) (revision 489071934af0126a0f768b0ced07dea3b2328a23) +++ xotcl/library/store/XOTclGdbm/configure (.../configure) (revision 0896d4deb00780e48b5b03269bf9c4ecca948919) @@ -10922,3 +10922,5 @@ + +