diff options
author | Joey Hess <joey@kitenet.net> | 2014-02-21 12:08:25 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2014-02-21 12:08:25 -0400 |
commit | 5175dc7f2ccc4d68cbd08844cda9b210cc44841d (patch) | |
tree | 17b20b471a33befe450010a23641061f2727c213 /Makefile | |
parent | ae85d4a746fd0b87ce34231660e006b5b9d98022 (diff) |
fix build of DistributionUpdate
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -253,7 +253,7 @@ hdevtools: distributionupdate: git pull cabal configure - ghc --make Build/DistributionUpdate + ghc --make Build/DistributionUpdate -XPackageImports ./Build/DistributionUpdate .PHONY: git-annex git-union-merge git-recover-repository tags build-stamp |