[DHG_packages] 01/07: agda: actually fix .agdai generation

[Sean Whitton]

This is an automated email from the git hooks/post-receive script.

spw-guest pushed a commit to branch master
in repository DHG_packages.

commit 2cf887b416ebf14b151cc957ab348a753e72eae7
Author: Sean Whitton <spwhitton at spwhitton.name>
Date:   Sun Jun 12 15:50:35 2016 +0900

    agda: actually fix .agdai generation
---
 p/agda/debian/rules | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/p/agda/debian/rules b/p/agda/debian/rules
index d933084..b7ec158 100755
--- a/p/agda/debian/rules
+++ b/p/agda/debian/rules
@@ -12,7 +12,7 @@ builtins = $(CURDIR)/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda
 	$(wildcard $(CURDIR)/debian/tmp-inst-ghc/usr/share/libghc-agda-dev/lib/prim/Agda/Builtin/*.agda)
 install/libghc-agda-dev:: debian/tmp-inst-ghc
 	$(foreach builtin,$(builtins),Agda_datadir=$(CURDIR)/debian/tmp-inst-ghc/usr/share/libghc-agda-dev \
-		debian/tmp-inst-ghc/usr/bin/agda $(builtin) -v0)
+		debian/tmp-inst-ghc/usr/bin/agda $(builtin) -v0;)
 
 install/elpa-agda2-mode::
 	dh_elpa

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/DHG_packages.git