diff options
author | Frediano Ziglio <fziglio@redhat.com> | 2019-07-24 16:51:23 +0100 |
---|---|---|
committer | Frediano Ziglio <fziglio@redhat.com> | 2019-07-24 16:51:23 +0100 |
commit | 59bc2278f6a41eefe668ab52260ab01ebdd778e0 (patch) | |
tree | b10916cb1b05443c78252145689f1cc596107def | |
parent | 7ea89f842bd11fd4f1785888d437eb9b01401f06 (diff) |
keep last failing compile log for each branch
Don't override with possible future successful
-rwxr-xr-x | spice-server/rebase | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/spice-server/rebase b/spice-server/rebase index aab3de4..05708d8 100755 --- a/spice-server/rebase +++ b/spice-server/rebase @@ -107,9 +107,11 @@ try_compile() { echo "checking branch $branch commit $commit" git checkout $commit &> /dev/null if [ "${commits[$commit]}" = "" ]; then - if ! build_it &> compile_err_$branch.txt; then + if ! build_it &> compile_errtmp.txt; then + mv -f compile_errtmp.txt compile_err_$branch.txt commits[$commit]='no' else + rm -f compile_errtmp.txt commits[$commit]='yes' fi fi @@ -118,17 +120,17 @@ try_compile() { $branch:$commit" last_failed='+' else - rm -f compile_err_$branch.txt last_failed='' fi done failed_compile+="$last_failed" else - if ! build_it &> compile_err_$branch.txt; then + if ! build_it &> compile_errtmp.txt; then + mv -f compile_errtmp.txt compile_err_$branch.txt failed_compile+=" $branch" else - rm -f compile_err_$branch.txt + rm -f compile_errtmp.txt fi fi } |