diff options
-rw-r--r-- | round-robin.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/round-robin.sh b/round-robin.sh index 21d7862a..129e6fd5 100644 --- a/round-robin.sh +++ b/round-robin.sh @@ -444,18 +444,6 @@ 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 - # in the rsync above. This should be fixed by "-I" rsync option, but - # keep below asserts just in case. - if [ x"$(diff -up ${rr[top_artifacts]}/results base-artifacts/results)" != x"" ] \ - || [ 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 ) } |