diff options
| -rwxr-xr-x | run_verify.sh | 7 | ||||
| -rwxr-xr-x | 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 @@ -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 |