Updated Branches: refs/heads/master 84d45cb6c -> 08ef924f7
Minor improvement Project: http://git-wip-us.apache.org/repos/asf/couchdb-admin/repo Commit: http://git-wip-us.apache.org/repos/asf/couchdb-admin/commit/08ef924f Tree: http://git-wip-us.apache.org/repos/asf/couchdb-admin/tree/08ef924f Diff: http://git-wip-us.apache.org/repos/asf/couchdb-admin/diff/08ef924f Branch: refs/heads/master Commit: 08ef924f773397ad55cb4ef439d94ec56daa68c3 Parents: 84d45cb Author: Noah Slater <[email protected]> Authored: Sun Mar 10 21:06:26 2013 +0000 Committer: Noah Slater <[email protected]> Committed: Sun Mar 10 21:06:26 2013 +0000 ---------------------------------------------------------------------- release/auto_distcheck.sh | 20 ++++++++++++-------- 1 files changed, 12 insertions(+), 8 deletions(-) ---------------------------------------------------------------------- http://git-wip-us.apache.org/repos/asf/couchdb-admin/blob/08ef924f/release/auto_distcheck.sh ---------------------------------------------------------------------- diff --git a/release/auto_distcheck.sh b/release/auto_distcheck.sh index 75d361d..85602a9 100755 --- a/release/auto_distcheck.sh +++ b/release/auto_distcheck.sh @@ -31,20 +31,24 @@ exit="echo Files in: $temp_dir" trap "echo && $exit && kill 0" SIGINT +build () { + time_start=`date "+%s"` + log_file=$temp_dir/$time_start".txt" + echo "Build started `date -r $time_start`" > $log_file + make distcheck | tee -a $log_file + time_finish=`date "+%s"` + echo "Build finished `date -r $time_finish`" >> $log_file + total_time=`expr $time_finish - $time_start` + echo "Build took `TZ=UTC date -r $total_time +%H:%M:%S`" >> $log_file +} + while true; do sleep 5 log "Checking build..." if test -s apache-couchdb-$version.tar.gz; then break else - time_start=`date "+%s"` - log_file=$temp_dir/$time_start".txt" - echo "Build started `date -r $time_start`" > $log_file - make distcheck | tee -a $log_file - time_finish=`date "+%s"` - echo "Build finished `date -r $time_finish`" >> $log_file - total_time=`expr $time_finish - $time_start` - echo "Build took `TZ=UTC date -r $total_time +%H:%M:%S`" >> $log_file + build fi done
