Index: xotcl/library/store/XOTclGdbm/configure =================================================================== diff -u -rab63a4908f87f226de9730e0afa820388c93acc4 -r489071934af0126a0f768b0ced07dea3b2328a23 --- xotcl/library/store/XOTclGdbm/configure (.../configure) (revision ab63a4908f87f226de9730e0afa820388c93acc4) +++ xotcl/library/store/XOTclGdbm/configure (.../configure) (revision 489071934af0126a0f768b0ced07dea3b2328a23) @@ -10920,3 +10920,5 @@ + +