diff options
| author | David Lechner <david@pybricks.com> | 2021-06-24 10:52:47 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2021-06-25 10:34:45 +1000 |
| commit | 8cebd56a11be1d3fbc87344f4e18fcdec6382b37 (patch) | |
| tree | ec15a466b074f8ca35e27330875946cb73df0287 | |
| parent | feb7e2e864639d82cc22729d4011b8ea663e9d1d (diff) | |
tools/ci.sh: Run apt-get update in ci_powerpc_setup.
This fixes failing builds when the GitHub CI image lags behind Ubuntu
security updates.
| -rwxr-xr-x | tools/ci.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ci.sh b/tools/ci.sh index 303957332..6d7c643f5 100755 --- a/tools/ci.sh +++ b/tools/ci.sh @@ -172,6 +172,7 @@ function ci_nrf_build { # ports/powerpc function ci_powerpc_setup { + sudo apt-get update sudo apt-get install gcc-powerpc64le-linux-gnu libc6-dev-ppc64el-cross } |