frederik
/
xserver
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge 9963b16aa2 into d403cbd25c

This commit is contained in:
Mike Gelfand 2025-07-05 00:38:56 +01:00 committed by GitHub
parent d403cbd25c 9963b16aa2
commit 785ce1af7b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/scripts/install-prereq.sh vendored
View File

@ -26,7 +26,7 @@ fi
if [ "$X11_OS" = "Darwin" ]; then if [ "$X11_OS" = "Darwin" ]; then
build_ac xset https://gitlab.freedesktop.org/xorg/app/xset xset-1.2.5 build_ac xset https://gitlab.freedesktop.org/xorg/app/xset xset-1.2.5
fi fi
build_ac_xts xts https://gitlab.freedesktop.org/xorg/test/xts master # dbbfa96c036e596346147081cbceda136e7c86c1 build_ac_xts xts https://gitlab.freedesktop.org/xorg/test/xts 12a887c2c72c4258962b56ced7b0aec782f1ffed # master @ 2025-02-11
clone_source piglit https://gitlab.freedesktop.org/mesa/piglit main # 265896c86f90cb72e8f218ba6a3617fca8b9a1e3 clone_source piglit https://gitlab.freedesktop.org/mesa/piglit main # 265896c86f90cb72e8f218ba6a3617fca8b9a1e3

7
.github/scripts/util.sh vendored
View File

@ -8,7 +8,12 @@ clone_source() {
if [ ! -f $pkgname/.git/config ]; then if [ ! -f $pkgname/.git/config ]; then
echo "need to clone $pkgname" echo "need to clone $pkgname"
git clone $url $pkgname --branch=$ref --depth 1 # Using multiple commands to support revisions in $ref
# TODO: Switch to `git clone --revision=$ref ...` when using Git 2.49+
git init $pkgname
git -C $pkgname remote add origin $url
git -C $pkgname fetch origin $ref --depth 1
git -C $pkgname checkout FETCH_HEAD
else else
echo "already cloned $pkgname" echo "already cloned $pkgname"
fi fi