File tree 1 file changed +10
-4
lines changed
1 file changed +10
-4
lines changed Original file line number Diff line number Diff line change @@ -171,16 +171,22 @@ before_script:
171
171
if [[ "$SKIP_BUILD" == true ]]; then
172
172
export RUN_SCRIPT="echo 'skipping, not a full build'";
173
173
else
174
- RUN_SCRIPT="stamp src/ci/init_repo.sh . $HOME/rustsrc";
174
+ RUN_SCRIPT="src/ci/init_repo.sh . $HOME/rustsrc";
175
175
if [ "$TRAVIS_OS_NAME" = "osx" ]; then
176
- export RUN_SCRIPT="$RUN_SCRIPT && stamp src/ci/run.sh";
176
+ export RUN_SCRIPT="$RUN_SCRIPT && src/ci/run.sh";
177
177
else
178
- export RUN_SCRIPT="$RUN_SCRIPT && stamp src/ci/docker/run.sh $IMAGE";
178
+ export RUN_SCRIPT="$RUN_SCRIPT && src/ci/docker/run.sh $IMAGE";
179
179
fi
180
180
fi
181
181
182
+ # Log time information from this machine and an external machine for insight into possible
183
+ # clock drift. Timezones don't matter since relative deltas give all the necessary info.
182
184
script :
183
- - sh -x -c "$RUN_SCRIPT"
185
+ - >
186
+ date && curl -s --head https://google.com | grep ^Date: | sed 's/Date: //g'
187
+ - stamp sh -x -c "$RUN_SCRIPT"
188
+ - >
189
+ date && curl -s --head https://google.com | grep ^Date: | sed 's/Date: //g'
184
190
185
191
after_success :
186
192
- >
You can’t perform that action at this time.
0 commit comments