cabal configure in distributionupdate so build files are fresh
This commit is contained in:
parent
54c587b617
commit
bfa07a8a80
1 changed files with 1 additions and 0 deletions
1
Makefile
1
Makefile
|
@ -252,6 +252,7 @@ hdevtools:
|
||||||
|
|
||||||
distributionupdate:
|
distributionupdate:
|
||||||
git pull
|
git pull
|
||||||
|
cabal configure
|
||||||
ghc --make Build/DistributionUpdate
|
ghc --make Build/DistributionUpdate
|
||||||
./Build/DistributionUpdate
|
./Build/DistributionUpdate
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue