diff --git a/Makefile b/Makefile index 76a5f13d09..90ef32ccf2 100644 --- a/Makefile +++ b/Makefile @@ -252,6 +252,7 @@ hdevtools: distributionupdate: git pull + cabal configure ghc --make Build/DistributionUpdate ./Build/DistributionUpdate