make tags in bg
This commit is contained in:
parent
1473ad6ea4
commit
1760a2e98c
1 changed files with 1 additions and 1 deletions
2
Makefile
2
Makefile
|
@ -163,7 +163,7 @@ androidapp:
|
||||||
fast: dist/caballog
|
fast: dist/caballog
|
||||||
@$$(grep 'ghc --make' dist/caballog | head -n 1 | sed -e 's/-package-id [^ ]*//g' -e 's/-hide-all-packages//') -O0
|
@$$(grep 'ghc --make' dist/caballog | head -n 1 | sed -e 's/-package-id [^ ]*//g' -e 's/-hide-all-packages//') -O0
|
||||||
@ln -sf dist/build/git-annex/git-annex git-annex
|
@ln -sf dist/build/git-annex/git-annex git-annex
|
||||||
@$(MAKE) tags >/dev/null 2>&1
|
@$(MAKE) tags >/dev/null 2>&1 &
|
||||||
|
|
||||||
dist/caballog: git-annex.cabal
|
dist/caballog: git-annex.cabal
|
||||||
$(CABAL) configure -f"-Production" -O0
|
$(CABAL) configure -f"-Production" -O0
|
||||||
|
|
Loading…
Reference in a new issue