diff options
-rw-r--r-- | PKGBUILD | 24 |
1 files changed, 1 insertions, 23 deletions
@@ -34,32 +34,10 @@ sha1sums=('SKIP' '09144dd3ec664b96714fe92d823e31bd1bb747e9') pkgver() { - cd "${srcdir}/${_gitname}" + cd "${srcdir}/${_gitname}/" git describe --always | sed 's|-|.|g' } -_update_git() { - cd "${srcdir}/" - - msg "Connecting to GIT server...." - - if [[ -d "${srcdir}/${_gitname}/" ]]; then - cd "${srcdir}/${_gitname}/" - git reset --hard - git fetch - git checkout "${_gitbranch}" - git merge "remotes/origin/${_gitbranch}" - msg "The local GIT repo has been updated." - else - git clone "${_gitroot}" "${_gitname}" - cd "${srcdir}/${_gitname}/" - git checkout "${_gitbranch}" - msg "GIT checkout done or server timeout" - fi - - echo -} - _build_gnu-efi-libs-x86_64() { cp -r "${srcdir}/${_gitname}_build" "${srcdir}/${_gitname}_build-x86_64" cd "${srcdir}/${_gitname}_build-x86_64/" |