Commit deeeacb8 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Fix for Windows, and delete the .mk file if ghc-config fails

parent 898eca99
......@@ -140,10 +140,10 @@ $(TOP_ABS)/mk/ghc-config : $(TOP_ABS)/mk/ghc-config.hs
empty=
space=$(empty) $(empty)
ghc-config-mk = $(TOP_ABS)/mk/ghcconfig$(subst $(space),_,$(subst /,_,$(subst \,_,$(TEST_HC)))).mk
ghc-config-mk = $(TOP_ABS)/mk/ghcconfig$(subst :,_,$(subst $(space),_,$(subst /,_,$(subst \,_,$(TEST_HC))))).mk
$(ghc-config-mk) : $(TOP_ABS)/mk/ghc-config
$(TOP_ABS)/mk/ghc-config "$(TEST_HC)" >"$@" || $(RM) "$@"
$(TOP_ABS)/mk/ghc-config "$(TEST_HC)" >"$@"; if [ $$? != 0 ]; then $(RM) -f "$@"; exit 1; fi
include $(ghc-config-mk)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment