diff options
author | Alexander Sulfrian | 2017-06-23 02:50:26 +0200 |
---|---|---|
committer | Alexander Sulfrian | 2017-06-23 02:50:26 +0200 |
commit | a14ef312a7184241818f202a5a77519b316df3d5 (patch) | |
tree | 1c31317646714a9a95962ffa39ddc16f382c2559 | |
parent | 7b9215bd40de57c3eabf43bc087a8ae5ab2b7027 (diff) | |
download | aur-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-- | PKGBUILD | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |