diff --git a/build/build_main.sh b/build/build_main.sh index 85519b02e1..80b7e85a46 100755 --- a/build/build_main.sh +++ b/build/build_main.sh @@ -53,9 +53,14 @@ fi [ -z "$inc_stirrups" ] && . "$basedir/build/stirrups.sh" case "$command" in - map_tags) map_tags "$@";; + svn_build_into) if [ "${statusdir}/index.cgi" -nt "${statusdir}/full_build" ]; then + svn_build_into + else + debug "discovered flag file, performing full build" + build_into + fi ;; build_into) build_into ;; - svn_build_into) svn_build_into ;; + map_tags) map_tags "$@";; process_file) process_file "$workfile" "$processor" "$olang" ;; build_xmlstream) build_xmlstream "$(get_shortname "$workfile")" "$(get_language "$workfile")" "$olang" ;; tree_maker) tree_maker "$tree" "$target" ;;