diff options
Diffstat (limited to 'rvs/wrapper/rvs.sh')
| -rw-r--r-- | rvs/wrapper/rvs.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/rvs/wrapper/rvs.sh b/rvs/wrapper/rvs.sh index e2e94e6..c2e3594 100644 --- a/rvs/wrapper/rvs.sh +++ b/rvs/wrapper/rvs.sh @@ -56,6 +56,8 @@ _repo() { _error "no $name repository found" fi cd "$owd" + else + echo "$REPO" fi } @@ -75,7 +77,7 @@ _runcom() { mkdir -p "$baseTMPDIR" export TMPDIR=`mktemp -d --tmpdir="$baseTMPDIR"` - if [ -z "RVS_LEVEL" ]; then + if [ -z "$RVS_LEVEL" ]; then export RVS_LEVEL=0; else export RVS_LEVEL=`expr $RVS_LEVEL + 1` |