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

---
 verify.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/verify.sh b/verify.sh
index 0f6e7918..cf740342 100755
--- a/verify.sh
+++ b/verify.sh
@@ -2,6 +2,10 @@
 
 TMPDIR=$HOME/tmp
 
+if [ -d $TMPDIR/ledger ]; then
+    rm -fr $TMPDIR/ledger || exit 1
+fi
+
 if [ -d $HOME/src/ledger/.git ]; then
     LEDGER_GIT=$HOME/src/ledger
 else
@@ -18,7 +22,8 @@ git clone $LEDGER_GIT local_git || exit 1
 git clone -l local_git distcheck || exit 1
 cd distcheck || exit 1
 ./acprep --local || exit 1
-make distcheck || exit 1
+make CPPFLAGS="-I/usr/local/include -I/usr/local/include/boost -I/sw/include" \
+     LDFLAGS="-L/usr/local/lib -L/sw/lib" distcheck || exit 1
 
 function build_ledger() {
     name=$1