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 ac6d3834fc..c3fad1541b 100644 --- a/driver/ghci/Makefile +++ b/driver/ghci/Makefile @@ -25,7 +25,7 @@ install:: else LINK = ghci LINK_TARGET = $(LINK)-$(ProjectVersion) -INSTALLED_SCRIPT=$(bindir)/$(LINK_TARGET) +INSTALLED_SCRIPT=$(DESTDIR)$(bindir)/$(LINK_TARGET) install:: $(RM) -f $(INSTALLED_SCRIPT) echo "#!$(SHELL)" >> $(INSTALLED_SCRIPT) |