1 |
#!/bin/bash |
#!/bin/bash |
2 |
# |
# |
3 |
# $Header$ |
# $Header$ |
4 |
|
# $Name$ |
5 |
# |
# |
6 |
|
|
7 |
usage() |
usage() |
584 |
|
|
585 |
NDIR=0 |
NDIR=0 |
586 |
|
|
587 |
|
of_path= |
588 |
if test "x$OPTFILE" != xNONE ; then |
if test "x$OPTFILE" != xNONE ; then |
589 |
if test -r $OPTFILE ; then |
if test -r $OPTFILE ; then |
590 |
OPTFILE=`pwd`"/$OPTFILE" |
# get the path |
591 |
|
path=${OPTFILE%/*} |
592 |
|
if test "x$path" = x ; then |
593 |
|
of_path=`pwd` |
594 |
|
else |
595 |
|
of_path=`( cd $path > /dev/null 2>&1 ; pwd )` |
596 |
|
fi |
597 |
|
file=${OPTFILE##*/} |
598 |
|
OPTFILE=$of_path/$file |
599 |
|
else |
600 |
|
echo |
601 |
|
echo "WARNING: can't read OPTFILE=\"$OPTFILE\" but will try to use it..." |
602 |
fi |
fi |
603 |
fi |
fi |
604 |
echo |
echo |