diff --git a/update.sh b/update.sh index d0355e1dfb..d0f93b7a36 100755 --- a/update.sh +++ b/update.sh @@ -35,34 +35,49 @@ lock_file build.lck || { exit 1 } +progress() { + echo "[$(date '+%Y-%m-%d %H:%M:%S')] update.sh: $*" +} + +LOGFILE="logs/update-latest.log" +progress "update.sh starting (see $LOGFILE)" + test -n "$FORCEBUILD" || { - (cd ardupilot_wiki && git fetch > /dev/null 2>&1) - (cd sphinx_rtd_theme && git fetch > /dev/null 2>&1) + progress "Fetching ardupilot_wiki" + (cd ardupilot_wiki && git fetch) + progress "Fetching sphinx_rtd_theme" + (cd sphinx_rtd_theme && git fetch) changed=0 + progress "Getting oldhash for ardupilot_wiki" oldhash=$(cd ardupilot_wiki && git rev-parse origin/master) + progress "Getting newhash for ardupilot_wiki" newhash=$(cd ardupilot_wiki && git rev-parse HEAD) [ "$oldhash" = "$newhash" ] || { - echo "ardupilot_wiki has changed $newhash $oldhash" + progress "ardupilot_wiki has changed $newhash $oldhash" changed=1 } + progress "Getting oldhash for sphinx_rtd_theme" oldhash=$(cd sphinx_rtd_theme && git rev-parse origin/master) + progress "Getting newhash for sphinx_rtd_theme" newhash=$(cd sphinx_rtd_theme && git rev-parse HEAD) [ "$oldhash" = "$newhash" ] || { - echo "sphinx_rtd_theme has changed $newhash $oldhash" + progress "sphinx_rtd_theme has changed $newhash $oldhash" changed=1 } + progress "Fetching parameters" PARAMSITES="ArduPlane ArduCopter AntennaTracker Rover AP_Periph Blimp" mkdir -p old_params new_params for site in $PARAMSITES; do - wget "https://autotest.ardupilot.org/Parameters/$site/Parameters.rst" -O new_params/$site.rst 2> /dev/null + wget "https://autotest.ardupilot.org/Parameters/$site/Parameters.rst" -O new_params/$site.rst done + progress "Comparing parameters" for site in $PARAMSITES; do if ! cmp new_params/$site.rst old_params/$site.rst; then - echo "$site.rst has changed" + progress "$site.rst has changed" cp new_params/$site.rst old_params/$site.rst changed=1 fi @@ -71,30 +86,29 @@ test -n "$FORCEBUILD" || { LOGMESSAGESITES="Plane Copter Tracker Rover Blimp" mkdir -p old_logmessages new_logmessages for site in $LOGMESSAGESITES; do - wget "https://autotest.ardupilot.org/LogMessages/$site/LogMessages.rst" -O new_logmessages/$site.rst 2> /dev/null + wget "https://autotest.ardupilot.org/LogMessages/$site/LogMessages.rst" -O new_logmessages/$site.rst done for site in $LOGMESSAGESITES; do if ! cmp new_logmessages/$site.rst old_logmessages/$site.rst; then - echo "$site.rst has changed" + progress "$site.rst has changed" cp new_logmessages/$site.rst old_logmessages/$site.rst changed=1 fi done - [ $changed = 1 ] || exit 0 + [ $changed = 1 ] || { + progress "Nothing changed; no rebuild required, exiting" + exit 0 + } } +progress "update.sh starting build" + ( date -report() { - cat <$LOGFILE 2>&1 || { + progress "update.sh failed; see $LOGFILE" +} +cat $LOGFILE >> logs/update.log -) >> update.log 2>&1 +progress "update.sh finished"