diff options
Diffstat (limited to 'run_verify.sh')
| -rwxr-xr-x | run_verify.sh | 7 |
1 files changed, 2 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 |