diff options
-rw-r--r-- | round-robin.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/round-robin.sh b/round-robin.sh index ed23bf00..06eceae1 100644 --- a/round-robin.sh +++ b/round-robin.sh @@ -147,6 +147,14 @@ reset_artifacts () # the command line, so that get_baseline_git() is not called. mkdir base-artifacts/git fi + + # We need rr[major], rr[minor], and rr[baseline_branch] in round-robin-baseline.sh + # when rewriting history, which happens right after reset_artifacts()/run-manifest-start. + cat <<EOF | manifest_out +rr[baseline_branch]="${rr[baseline_branch]}" +rr[major]="${rr[major]}" +rr[minor]="${rr[minor]}" +EOF ) } |