Index: xotcl/library/store/XOTclGdbm/configure =================================================================== diff -u -rfce8f28780c2c91fc8320c5a480eb2b6031b3b5b -rcaee4f272cfc744a06a7df61e2f3c73da1b6be64 --- xotcl/library/store/XOTclGdbm/configure (.../configure) (revision fce8f28780c2c91fc8320c5a480eb2b6031b3b5b) +++ xotcl/library/store/XOTclGdbm/configure (.../configure) (revision caee4f272cfc744a06a7df61e2f3c73da1b6be64) @@ -10996,3 +10996,5 @@ + +