diff options
Diffstat (limited to 'libraries')
| -rw-r--r-- | libraries/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/Makefile b/libraries/Makefile index 7459bc5a7d..914c35106d 100644 --- a/libraries/Makefile +++ b/libraries/Makefile @@ -164,7 +164,7 @@ BOOTSTRAPPING_FLAGS = $(CABAL_GHC_FLAGS) -DCABAL_VERSION=$(CABAL_VERSION) -odir boot: ifBuildable/ifBuildable cabal-bin bootstrapping.conf cabal-bin: cabal-bin.hs - mkdir bootstrapping + -mkdir bootstrapping $(GHC) $(BOOTSTRAPPING_FLAGS) --make cabal-bin -o cabal-bin bootstrapping.conf: cabal-bin |