diff options
author | 2014-02-10 15:16:08 -0400 | |
---|---|---|
committer | 2014-02-10 15:16:08 -0400 | |
commit | cc507ab7d7d3a2ae87ac7ddb431366c885c8e2e1 (patch) | |
tree | 015317dcc5c806772566ba21efd88bee15f3f5cb | |
parent | 6f88d627d129b904c316f2f67a3b075c454d0744 (diff) |
cabal configure in distributionupdate so build files are fresh
-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 |