File tree Expand file tree Collapse file tree 1 file changed +10
-4
lines changed Expand file tree Collapse file tree 1 file changed +10
-4
lines changed Original file line number Diff line number Diff line change @@ -171,16 +171,22 @@ before_script:
171171 if [[ "$SKIP_BUILD" == true ]]; then
172172 export RUN_SCRIPT="echo 'skipping, not a full build'";
173173 else
174- RUN_SCRIPT="stamp src/ci/init_repo.sh . $HOME/rustsrc";
174+ RUN_SCRIPT="src/ci/init_repo.sh . $HOME/rustsrc";
175175 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";
177177 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";
179179 fi
180180 fi
181181
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.
182184script :
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'
184190
185191after_success :
186192 - >
You can’t perform that action at this time.
0 commit comments