# HG changeset patch
# User wenzelm
# Date 859879736 -7200
# Node ID 01a536a6e4fb575b54e30fd54405a205d71edfb3
# Parent  f1cd1ad27588d9bf9104d45bbf064d644c772435
fixed -s option;

diff -r f1cd1ad27588 -r 01a536a6e4fb lib/Tools/usedir
--- a/lib/Tools/usedir	Mon Mar 31 14:42:13 1997 +0200
+++ b/lib/Tools/usedir	Tue Apr 01 09:28:56 1997 +0200
@@ -34,7 +34,7 @@
 COPYDB=""
 SESSION=""
 
-while getopts "bc" OPT
+while getopts "bcs:" OPT
 do
   case "$OPT" in
     b)