diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-02-10 15:16:08 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-02-10 15:16:08 -0400 |
| commit | cc507ab7d7d3a2ae87ac7ddb431366c885c8e2e1 (patch) | |
| tree | 015317dcc5c806772566ba21efd88bee15f3f5cb /Makefile | |
| parent | 6f88d627d129b904c316f2f67a3b075c454d0744 (diff) | |
cabal configure in distributionupdate so build files are fresh
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -252,6 +252,7 @@ hdevtools: distributionupdate: git pull + cabal configure ghc --make Build/DistributionUpdate ./Build/DistributionUpdate |