update tags on dev build
This commit is contained in:
parent
c119f61422
commit
c15023a8b4
1 changed files with 1 additions and 0 deletions
1
Makefile
1
Makefile
|
@ -18,6 +18,7 @@ build: $(all)
|
||||||
fast: dist/caballog
|
fast: dist/caballog
|
||||||
@$$(grep 'ghc --make' dist/caballog | head -n 1)
|
@$$(grep 'ghc --make' dist/caballog | head -n 1)
|
||||||
@ln -sf dist/build/git-annex/git-annex git-annex
|
@ln -sf dist/build/git-annex/git-annex git-annex
|
||||||
|
@$(MAKE) tags &
|
||||||
|
|
||||||
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