community/git-annex: lint
This commit is contained in:
parent
5aabbbe916
commit
11ee0fb696
1 changed files with 1 additions and 1 deletions
|
@ -3,7 +3,6 @@
|
|||
pkgname=git-annex
|
||||
pkgver=10.20230626
|
||||
_bloomfilterver=2.0.1.0
|
||||
_connectionver=0.3.1
|
||||
pkgrel=0
|
||||
pkgdesc="Manage files with git, without checking their contents into git"
|
||||
url="http://git-annex.branchable.com"
|
||||
|
@ -116,6 +115,7 @@ build() {
|
|||
HOME="$_cabal_home" cabal update
|
||||
HOME="$_cabal_home" cabal v1-install \
|
||||
--only-dependencies \
|
||||
--allow-newer=feed:base-compat \
|
||||
$_feature_flags
|
||||
HOME="$_cabal_home" cabal v1-configure $_feature_flags
|
||||
HOME="$_cabal_home" cabal v1-build -j
|
||||
|
|
Loading…
Reference in a new issue