Don't fail if libraries/bootstrapping already exists

diff --git a/libraries/Makefile b/libraries/Makefile
index 7459bc5..914c351 100644 (file)
--- 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