diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/ghci/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/ghci/Makefile b/driver/ghci/Makefile index bc3d0bb914..82321831e0 100644 --- a/driver/ghci/Makefile +++ b/driver/ghci/Makefile @@ -36,7 +36,7 @@ install:: endif ifneq "$(TARGETPLATFORM)" "i386-unknown-mingw32" -INPLACE_SCRIPT=ghc-pkg-inplace +INPLACE_SCRIPT=ghci-inplace all:: $(RM) -f $(INPLACE_SCRIPT) echo "#!$(SHELL)" >> $(INPLACE_SCRIPT) |