diff options
| author | Hugo Hakim Damer <hdamer@uni-bremen.de> | 2021-03-15 09:58:42 +0100 |
|---|---|---|
| committer | Hugo Hakim Damer <hdamer@uni-bremen.de> | 2021-04-29 12:51:19 +0200 |
| commit | bf8378bfd7fd56d35dcc86d69a033c620ea82e12 (patch) | |
| tree | e75208a2f4b73e7aed96343eafe1be58cac6c43c /ci | |
| parent | 004d44eee17b6635dd0d46a718a23ab4ecc03ef6 (diff) | |
| download | rust-libc-bf8378bfd7fd56d35dcc86d69a033c620ea82e12.tar.gz | |
Update musl patched kernel header version for tests
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/install-musl.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/install-musl.sh b/ci/install-musl.sh index 54fd343f07..036a369631 100644 --- a/ci/install-musl.sh +++ b/ci/install-musl.sh @@ -79,7 +79,7 @@ cd .. rm -rf $MUSL # Download, configure, build, and install musl-sanitized kernel headers: -KERNEL_HEADER_VER="4.4.2-2" +KERNEL_HEADER_VER="4.19.88" curl --retry 5 -L \ "https://github.com/sabotage-linux/kernel-headers/archive/v${KERNEL_HEADER_VER}.tar.gz" | \ tar xzf - |