From dfcda6c709eb87eaea52c0f7916cb72334ff3db2 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Fri, 11 May 2007 07:24:54 +0000
Subject: [PATCH] *** no comment ***

---
 verify.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/verify.sh b/verify.sh
index 2590ef35..aedc3fcf 100755
--- a/verify.sh
+++ b/verify.sh
@@ -29,7 +29,7 @@ USING_GIT=true
 cmd=$(which git 2>&1)
 if [ ! -x "$cmd" ]; then
     USING_GIT=false
-    SVN_REPO=https://ledger.svn.sourceforge.net/svnroot/ledger
+    LEDGER_SVN=https://ledger.svn.sourceforge.net/svnroot/ledger
 elif [ -d $HOME/src/ledger/.git ]; then
     LEDGER_GIT=$HOME/src/ledger
 else
@@ -45,7 +45,7 @@ fi
 if [ "$USING_GIT" = "true" ]; then
     git clone $LEDGER_GIT local_git || exit 1
 else
-    svn checkout $SVN_REPO local_svn
+    svn checkout $LEDGER_SVN local_svn
 fi
 
 function dup_working_tree() {