Files
gasket-driver/ci/build.sh
Dustin C. Hatch 5a6e882d45 ci: Fetch sources from local mirror
I've created a mirror of the _gasket-driver_ Git repository, to ensure
it remains available, even if Google decides to remove it or GitHub is
temporarily unavailable.
2025-11-16 09:30:18 -06:00

36 lines
1.2 KiB
Bash

#!/bin/sh
if [ $(id -u) -eq 0 ]; then
kver=$(rpm -q --qf %{VERSION}-%{RELEASE}.%{ARCH} kernel-devel)
ln -s "${SIGNING_KEY}" /usr/src/kernels/${kver}/certs/signing_key.x509
ln -s "${SIGNING_KEY}" /usr/src/kernels/${kver}/certs/signing_key.pem
exec setpriv --clear-groups --reuid 1000 --regid 1000 --inh-caps=-all \
sh -ex ci/build.sh
fi
git_rev=$(
sed -nr '/^%global git_revision_full/s/.* ([a-z0-9]{40})$/\1/p' \
gasket-driver.spec
)
curl -fL \
-o gasket-driver-${git_rev}.tar.gz \
https://git.pyrocufflink.net/dustin/gasket-driver/archive/${git_rev}.tar.gz
# We're downloading the archive from our local mirror of upstream's repository,
# just in case it goes away or becomes unavailable. Unfortunately, Gitea
# creates a slightly different archive layout than GitHub, so we need to fix it
# up before passing it to `rpmbuild`.
rm -rf src
mkdir src
tar -xzf gasket-driver-${git_rev}.tar.gz -C src
mv src/gasket-driver src/gasket-driver-${git_rev}
tar -cf gasket-driver-${git_rev}.tar.gz -C src gasket-driver-${git_rev}
rpmbuild \
-D "_topdir ${PWD}" \
-D '_sourcedir %{_topdir}' \
-ba gasket-driver.spec
ln RPMS/*/*.rpm SRPMS/*.rpm .