diff --git a/scripts/update_musl_overlay b/scripts/update_musl_overlay new file mode 100755 index 00000000..4d62aef0 --- /dev/null +++ b/scripts/update_musl_overlay @@ -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