File tree 2 files changed +14
-0
lines changed
2 files changed +14
-0
lines changed Original file line number Diff line number Diff line change @@ -248,6 +248,15 @@ before_script:
248
248
# Enable core dump on Linux.
249
249
sudo sh -c 'echo "/checkout/obj/cores/core.%p.%E" > /proc/sys/kernel/core_pattern';
250
250
fi
251
+ - >
252
+ if [ "$IMAGE" = mingw-check ]; then
253
+ # verify the publish_toolstate script works.
254
+ git clone --depth=1 https://github.com/rust-lang-nursery/rust-toolstate.git;
255
+ cd rust-toolstate;
256
+ python2.7 "$TRAVIS_BUILD_DIR/src/tools/publish_toolstate.py" "$(git rev-parse HEAD)" "$(git log --format=%s -n1 HEAD)" "" "";
257
+ cd ..;
258
+ rm -rf rust-toolstate;
259
+ fi
251
260
252
261
# Log time information from this machine and an external machine for insight into possible
253
262
# clock drift. Timezones don't matter since relative deltas give all the necessary info.
Original file line number Diff line number Diff line change @@ -120,6 +120,11 @@ def update_latest(
120
120
sys .exit (0 )
121
121
122
122
print (message )
123
+
124
+ if not github_token :
125
+ print ('Dry run only, not committing anything' )
126
+ sys .exit (0 )
127
+
123
128
with open (save_message_to_path , 'w' ) as f :
124
129
f .write (message )
125
130
You can’t perform that action at this time.
0 commit comments