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