diff options
author | Erich Eckner <git@eckner.net> | 2017-12-30 09:24:07 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-12-30 09:24:24 +0100 |
commit | 8b17fff202b3ecde8d7f0bd68668064e61e69568 (patch) | |
tree | 540bd0472c7baff3da47e50c348108e5a6c6ac46 /extra/xorg-server/PKGBUILD | |
parent | 04bd0bcbbec4bdb63288fe9906c708e88c024448 (diff) | |
download | packages-8b17fff202b3ecde8d7f0bd68668064e61e69568.tar.xz |
extra/xorg-server: mitigate race condition in "make install"
Diffstat (limited to 'extra/xorg-server/PKGBUILD')
-rw-r--r-- | extra/xorg-server/PKGBUILD | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/extra/xorg-server/PKGBUILD b/extra/xorg-server/PKGBUILD new file mode 100644 index 00000000..15429901 --- /dev/null +++ b/extra/xorg-server/PKGBUILD @@ -0,0 +1,8 @@ +source+=('make-install-race.patch') +sha256sums+=('6a5cbcf16f199f90428a6a2cecf05a3669f4580011cf19e90b2870d44f7e7feb') +eval "$( + declare -f prepare | \ + sed ' + 3 a patch -Np1 -i ../make-install-race.patch + ' +)" |