From f28b31c5f04b57a294095e66b3b686984a692836 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andreas=20K=2E=20H=C3=BCttel?= Date: Sun, 9 May 2021 23:23:55 +0200 Subject: [PATCH] Add script to pull and update musl overlay MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Andreas K. Hüttel --- scripts/update_musl_overlay | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100755 scripts/update_musl_overlay 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