author | wenzelm |
Fri, 19 Oct 2012 20:15:14 +0200 | |
changeset 49937 | 463cdbfba8c7 |
parent 49936 | 3e7522664453 |
child 49938 | 1c06f8d244af |
child 49939 | eb8b434158c8 |
--- a/Admin/isatest/isatest-statistics Fri Oct 19 17:52:21 2012 +0200 +++ b/Admin/isatest/isatest-statistics Fri Oct 19 20:15:14 2012 +0200 @@ -75,7 +75,7 @@ mkdir -p "$DIR" || fail "Bad directory: $DIR" $ZGREP "^Finished .*elapsed" \ - $(find "$LOG_DIR" -name "$LOG_NAME" -ctime "-${TIMESPAN}") | \ + $(find "$LOG_DIR" -name "$LOG_NAME" -mtime "-${TIMESPAN}") | \ perl -e ' while (<>) { if (m/(\d\d\d\d)-(\d\d)-(\d\d).*:Finished (\S+) \((\d+):(\d+):(\d+) elapsed time, (\d+):(\d+):(\d+) cpu time/) {