From 1760a2e98ce8cd2adb0bb9ed316146f054dfa7f0 Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Sun, 17 Mar 2013 16:22:19 -0400 Subject: [PATCH] make tags in bg --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 51d7df91bc..966987587a 100644 --- a/Makefile +++ b/Makefile @@ -163,7 +163,7 @@ androidapp: fast: dist/caballog @$$(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 - @$(MAKE) tags >/dev/null 2>&1 + @$(MAKE) tags >/dev/null 2>&1 & dist/caballog: git-annex.cabal $(CABAL) configure -f"-Production" -O0