diff options
| author | Aidan Hobson Sayers <aidanhs@cantab.net> | 2017-04-08 08:39:31 +0100 |
|---|---|---|
| committer | Aidan Hobson Sayers <aidanhs@cantab.net> | 2017-04-14 15:30:01 +0100 |
| commit | bb843582cac721b1a478c6dc12dafee1edbd73e4 (patch) | |
| tree | cb400e4205148e6431ec7495b22c4d5293ce4e17 /src/ci | |
| parent | 547c12b8a61d7d0c047649c236f84b59ca2d2cc9 (diff) | |
| download | rust-bb843582cac721b1a478c6dc12dafee1edbd73e4.tar.gz rust-bb843582cac721b1a478c6dc12dafee1edbd73e4.zip | |
Add a comment for disabling errexit
Diffstat (limited to 'src/ci')
| -rwxr-xr-x | src/ci/init_repo.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ci/init_repo.sh b/src/ci/init_repo.sh index 633b88dd2c4..1db2135eb6d 100755 --- a/src/ci/init_repo.sh +++ b/src/ci/init_repo.sh @@ -41,6 +41,8 @@ if [ ! -f "$cache_valid_file" ]; then rm -rf "$CACHE_DIR" mkdir "$CACHE_DIR" else + # Ignore errors while gathering information about the possible brokenness + # of the git repo since our gathered info will tell us something is wrong set +o errexit stat_lines=$(cd "$cache_src_dir" && git status --porcelain | wc -l) stat_ec=$(cd "$cache_src_dir" && git status >/dev/null 2>&1; echo $?) |