diff options
Diffstat (limited to 'driver/ghci')
| -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 c3fad1541b..bc3d0bb914 100644 --- a/driver/ghci/Makefile +++ b/driver/ghci/Makefile @@ -17,7 +17,7 @@ endif ifeq "$(TARGETPLATFORM)" "i386-unknown-mingw32" INSTALL_PROGS += $(C_PROG) -GHCII_SCRIPT=$(bindir)/ghcii.sh +GHCII_SCRIPT=$(DESTDIR)$(bindir)/ghcii.sh install:: $(RM) -f $(GHCII_SCRIPT) echo "#!$(SHELL)" >> $(GHCII_SCRIPT) |