File tree 2 files changed +26
-0
lines changed
2 files changed +26
-0
lines changed Original file line number Diff line number Diff line change 45
45
ci_dir=` cd $( dirname $0 ) && pwd`
46
46
source " $ci_dir /shared.sh"
47
47
48
+ git_repository=$( parse_stage0_file_by_key " git_repository" )
49
+ nightly_branch=$( parse_stage0_file_by_key " nightly_branch" )
50
+
51
+ # Add remote only if it doesn't exist
52
+ if ! git remote | grep -q " ^${git_repository} $" ; then
53
+ echo " Configuring remote upstream."
54
+ git remote add upstream " https://github.com/${git_repository} "
55
+ REMOTE_NAME=" upstream"
56
+ else
57
+ REMOTE_NAME=" origin"
58
+ fi
59
+
60
+ git fetch $REMOTE_NAME $nightly_branch
61
+
48
62
export CARGO_REGISTRIES_CRATES_IO_PROTOCOL=sparse
49
63
50
64
# suppress change-tracker warnings on CI
Original file line number Diff line number Diff line change @@ -136,3 +136,15 @@ function releaseChannel {
136
136
echo $RUST_CI_OVERRIDE_RELEASE_CHANNEL
137
137
fi
138
138
}
139
+
140
+ # Parse values from ./src/stage0 file by key
141
+ function parse_stage0_file_by_key {
142
+ local key=" $1 "
143
+ local file=" $rust_root /src/stage0"
144
+ local value=$( awk -F= ' {a[$1]=$2} END {print(a["' $key ' "])}' $file )
145
+ if [ -z " $value " ]; then
146
+ echo " ERROR: Key '$key ' not found in '$file '."
147
+ exit 1
148
+ fi
149
+ echo " $value "
150
+ }
You can’t perform that action at this time.
0 commit comments