diff options
Diffstat (limited to 'round-robin.sh')
-rw-r--r-- | round-robin.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/round-robin.sh b/round-robin.sh index 8d903903..caa6b47a 100644 --- a/round-robin.sh +++ b/round-robin.sh @@ -430,6 +430,17 @@ update_baseline () git -C base-artifacts commit $amend -m "$msg_title $(cat ${rr[top_artifacts]}/results)" + + # We saw strange behavior with base-artifacts/results not being updated + # or git-add'ed properly. Add a couple of asserts to catch such problems. + if [ x"$(diff -rup -x .git ${rr[top_artifacts]}/ base-artifacts/ | wc -l)" != x"0" ] \ + || [ x"$amend" = x"" -a x"$(git -C base-artifacts diff HEAD HEAD^ -- results)" = x"" ]; then + cd base-artifacts + git status + cat results + ls -la + assert false + fi ) } |