diff options
| author |  Joey Hess <joey@kitenet.net> | 2013-03-17 16:22:19 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2013-03-17 16:27:34 -0400 |
| commit | 423c3926b7fe6f9e03ac3f381be5de1f1f71e665 (patch) | |
| tree | 01e57fce1ae255ab867e0d336cbd961e170ab283 /Makefile | |
| parent | 90c9f53b6ecf76f44f85d7cb505db5d228aa3853 (diff) | |
make tags in bg
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |