diff options
| author | John Wiegley <johnw@newartisans.com> | 2007-05-11 07:25:07 +0000 |
|---|---|---|
| committer | John Wiegley <johnw@newartisans.com> | 2008-04-13 03:38:46 -0400 |
| commit | bc3b0b5577bd08e131e2c0884b30d364e6d3b38a (patch) | |
| tree | 9beeda0e0e2cd599b2997b45fd1eab6a47b26210 /run_verify.sh | |
| parent | c7f694967c8109c9c6e028b89e2b72afd1bb078a (diff) | |
| download | fork-ledger-bc3b0b5577bd08e131e2c0884b30d364e6d3b38a.tar.gz fork-ledger-bc3b0b5577bd08e131e2c0884b30d364e6d3b38a.tar.bz2 fork-ledger-bc3b0b5577bd08e131e2c0884b30d364e6d3b38a.zip | |
*** no comment ***
Diffstat (limited to 'run_verify.sh')
| -rwxr-xr-x | run_verify.sh | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/run_verify.sh b/run_verify.sh index 719cb632..0a9d2f31 100755 --- a/run_verify.sh +++ b/run_verify.sh @@ -7,9 +7,11 @@ # # 0 0 * * * $HOME/src/ledger/run_verify.sh /tmp # -# Note that this script should be run as root! Also, whether on -# success or failure the build log and build products are left in the -# temporary directory for later examination if desired. +# 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. SRCDIR=$(dirname $0) @@ -26,3 +28,5 @@ cp -p "$SRCDIR"/verify.sh . || exit 1 (./verify.sh > verify.out 2>&1 || (cat verify.out; exit 1)) rm -f verify.sh + +exit 0 |