diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-05-15 19:37:02 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-05-15 19:39:31 +0200 |
| commit | 30b008f5337332e0a1f941113d14f90fa876315e (patch) | |
| tree | eba9040d49e6f7b4e6561300f055d59803bbfc2c /src/ci/docker | |
| parent | 92bf1e6661b76e2431132f370f5452fc0ad3448a (diff) | |
| download | rust-30b008f5337332e0a1f941113d14f90fa876315e.tar.gz rust-30b008f5337332e0a1f941113d14f90fa876315e.zip | |
ci: remove stray echo
Diffstat (limited to 'src/ci/docker')
| -rwxr-xr-x | src/ci/docker/x86_64-gnu-tools/checktools.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/x86_64-gnu-tools/checktools.sh b/src/ci/docker/x86_64-gnu-tools/checktools.sh index c7e64cd8c3e..af0198705a2 100755 --- a/src/ci/docker/x86_64-gnu-tools/checktools.sh +++ b/src/ci/docker/x86_64-gnu-tools/checktools.sh @@ -6,7 +6,7 @@ X_PY="$1" TOOLSTATE_FILE="$(realpath $2)" OS="$3" COMMIT="$(git rev-parse HEAD)" -CHANGED_FILES="$(git diff --name-status HEAD HEAD^ || echo)" +CHANGED_FILES="$(git diff --name-status HEAD HEAD^)" SIX_WEEK_CYCLE="$(( ($(date +%s) / 86400 - 20) % 42 ))" # ^ Number of days after the last promotion of beta. # Its value is 41 on the Tuesday where "Promote master to beta (T-2)" happens. |