bors 87536f00e3 Auto merge of #4675 - lzutao:improve-shellscript, r=phansch
build: improve script and travis config

* fix a diff failure on windows

See https://travis-ci.com/rust-lang/rust-clippy/jobs/245971932#L1625
for an example.

* use cmp instead of diff > /dev/null

* clone single branch instead of clone then checking out

* do not decrypt key if have no diff change

changelog: none
2019-10-24 05:20:45 +00:00
..
2019-10-03 08:10:29 +09:00
2019-09-27 18:01:04 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-02 21:15:28 +02:00
2019-10-02 21:15:28 +02:00
2019-10-03 08:10:29 +09:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-18 07:40:48 +02:00
2019-10-18 07:40:48 +02:00
2019-10-02 21:15:28 +02:00
2019-10-15 09:58:11 +02:00
2019-10-02 09:39:04 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-03 08:10:29 +09:00
2019-10-03 08:10:29 +09:00
2019-10-15 09:58:11 +02:00
2019-10-18 07:40:48 +02:00
2019-10-18 07:40:48 +02:00
2019-10-08 08:46:29 -05:00
2019-10-08 08:46:29 -05:00
2019-10-08 08:46:29 -05:00
2019-10-08 08:46:29 -05:00
2019-10-08 08:46:29 -05:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-03 08:10:29 +09:00
2019-10-18 07:40:48 +02:00
2019-10-18 07:40:48 +02:00
2019-10-18 07:40:48 +02:00
2019-10-18 07:40:48 +02:00
2019-10-03 08:10:29 +09:00
2019-10-03 08:10:29 +09:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-03 08:10:29 +09:00
2019-10-03 08:10:29 +09:00
2019-10-03 08:10:29 +09:00
2019-10-14 12:09:04 +02:00
2019-10-14 12:09:04 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-03 08:10:29 +09:00
2019-10-03 08:10:29 +09:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-03 08:10:29 +09:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-15 09:58:11 +02:00
2019-10-18 07:40:48 +02:00
2019-10-18 07:40:48 +02:00
2019-10-02 22:38:00 +07:00