diff options
-rwxr-xr-x | rvi | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -48,8 +48,8 @@ else exit 1 fi -DN=`dirname "$1"` -BN=`basename "$1"` +DN="`dirname "$1"`" +BN="`basename "$1"`" if ! [ -e "$1,v" ] && ! [ -e "$DN/RCS/$BN,v" ] ; then echo "Neither $1,v nor $DN/RCS/$BN,v do not exist." >&2 exit 1 |