Index: xotcl/library/store/XOTclGdbm/configure
===================================================================
diff -u -r78e82b3563a644f2df47320eacc693f1b788b03c -rbb3c756fb47517596b9dbcb4e580aa1212827b41
--- xotcl/library/store/XOTclGdbm/configure	(.../configure)	(revision 78e82b3563a644f2df47320eacc693f1b788b03c)
+++ xotcl/library/store/XOTclGdbm/configure	(.../configure)	(revision bb3c756fb47517596b9dbcb4e580aa1212827b41)
@@ -10750,3 +10750,7 @@
 
 
 
+
+
+
+