From c331dcf09e307747757082a6f868238954e19e55 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 19 May 2007 08:13:26 +0000
Subject: [PATCH]  changes

---
 run_verify.sh | 7 ++-----
 verify.sh     | 1 +
 2 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/run_verify.sh b/run_verify.sh
index 600d6b2c..236a9e67 100755
--- a/run_verify.sh
+++ b/run_verify.sh
@@ -7,11 +7,8 @@
 #
 #   0 0 * * * $HOME/src/ledger/run_verify.sh /tmp
 #
-# Note that this script should be run as root, otherwise it will be
-# unable to clean up after itself (since make distcheck creates files
-# owned by a different user).  Also, whether on success or failure the
-# build log and build products are left in the temporary directory for
-# later examination if desired.
+# On both success and failure the build log and build products are
+# left in the temporary directory for later examination if desired.
 
 SRCDIR=$(dirname $0)
 if [ -z "$SRCDIR" ]; then
diff --git a/verify.sh b/verify.sh
index 4a3a0964..14f3e3f4 100755
--- a/verify.sh
+++ b/verify.sh
@@ -15,6 +15,7 @@ else
 fi
 
 if [ -d $TMPDIR/ledger ]; then
+    find $TMPDIR/ledger -print0 | xargs -0 chmod u+w
     rm -fr $TMPDIR/ledger || exit 1
 fi