Add script to pull and update musl overlay

Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
This commit is contained in:
Andreas K. Hüttel 2021-05-09 23:23:55 +02:00
parent 4087e82ce0
commit f28b31c5f0
No known key found for this signature in database
GPG key ID: 4C49F79E54D0A206

13
scripts/update_musl_overlay Executable file
View file

@ -0,0 +1,13 @@
#!/bin/bash
MUSLDIR="/release/trees/musl-auto"
MUSLURI="https://anongit.gentoo.org/git/proj/musl.git"
if [ ! -d "${MUSLDIR}" ] ; then
echo musl directory not present yet or not a directory, fixing
rm -rf "${MUSLDIR}"
git clone "${MUSLURI}" "${MUSLDIR}"
else
cd "${MUSLDIR}"
git pull
fi