summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlexander Sulfrian2017-06-23 02:50:26 +0200
committerAlexander Sulfrian2017-06-23 02:50:26 +0200
commita14ef312a7184241818f202a5a77519b316df3d5 (patch)
tree1c31317646714a9a95962ffa39ddc16f382c2559
parent7b9215bd40de57c3eabf43bc087a8ae5ab2b7027 (diff)
downloadaur-a14ef312a7184241818f202a5a77519b316df3d5.tar.gz
Fix update of the linux_media repository
We use shallow clone and cannot uerge updates because the common commits might be missing.
-rw-r--r--PKGBUILD4
1 files changed, 3 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 7ec2e69cfa5c..e3a8cee2571c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -21,7 +21,9 @@ options=('!strip')
prepare() {
if [ -d "${srcdir}/media" ]; then
- cd "${srcdir}/media" && git pull --depth=1 origin
+ cd "${srcdir}/media" && \
+ git fetch --depth=1 origin && \
+ git reset --hard origin/latest
else
git clone --depth=1 https://github.com/tbsdtv/linux_media.git -b latest "$srcdir/media"
fi