diff options
| author |   Andreas K. Hüttel <dilfridge@gentoo.org> | 2021-05-09 23:23:55 +0200 |
|---|---|---|
| committer | Andreas K. Hüttel <dilfridge@gentoo.org> | 2021-05-09 23:23:55 +0200 |
| commit | f28b31c5f04b57a294095e66b3b686984a692836 (patch) | |
| tree | 70dbf33acab9ca170643f67f914e03ec331beaba /scripts | |
| parent | Minor changes amd64/musl: shift path components between variables (diff) | |
| download | releng-f28b31c5f04b57a294095e66b3b686984a692836.tar.gz releng-f28b31c5f04b57a294095e66b3b686984a692836.tar.bz2 releng-f28b31c5f04b57a294095e66b3b686984a692836.zip | |
Add script to pull and update musl overlay
Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org>
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/update_musl_overlay | 13 |
1 files changed, 13 insertions, 0 deletions
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 |