From c15023a8b4bc14d869dafe8d3854856b5a09936f Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Mon, 11 Mar 2013 14:44:54 -0400 Subject: [PATCH] update tags on dev build --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 38a41ab769..3f4f86197e 100644 --- a/Makefile +++ b/Makefile @@ -18,6 +18,7 @@ build: $(all) fast: dist/caballog @$$(grep 'ghc --make' dist/caballog | head -n 1) @ln -sf dist/build/git-annex/git-annex git-annex + @$(MAKE) tags & dist/caballog: git-annex.cabal $(CABAL) configure -f"-Production" -O0