From 3800245849890755a51d2ecf1ac4c67974d7998b Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Mon, 10 May 2021 23:03:46 +0200 Subject: [PATCH] musl --- script/setup-musl | 50 +++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 50 insertions(+) create mode 100755 script/setup-musl diff --git a/script/setup-musl b/script/setup-musl new file mode 100755 index 00000000..1dbddd5b --- /dev/null +++ b/script/setup-musl @@ -0,0 +1,50 @@ +#!/usr/bin/env bash + +# This script sets up the latest available musl-tools using apt pinning from debian unstable. +# The one available in stable and testing are quite outdated and this ensures we get the latest improvements +# This explictly installs musl from unstable and keeps the others at a higher priority + +cat >> /etc/apt/sources.list <> /etc/apt/preferences <