Fix the ghci wrapper

The ${1+"$@"} was being evaluated by make, rather than being escaped.

diff --git a/driver/ghci/ghc.mk b/driver/ghci/ghc.mk
index 4e6cc7b..88c084d 100644 (file)
--- a/driver/ghci/ghc.mk
+++ b/driver/ghci/ghc.mk
@@ -20,7 +20,7 @@ install_driver_ghci:
        "$(MKDIRHIER)" $(DESTDIR)$(bindir)
        "$(RM)" $(RM_OPTS)                                 $(WRAPPER)
        echo '#!$(SHELL)'                               >> $(WRAPPER)
-       echo 'exec $(bindir)/ghc-$(ProjectVersion) --interactive ${1+"$@"}' >> $(WRAPPER)
+       echo 'exec $(bindir)/ghc-$(ProjectVersion) --interactive $${1+"$$@"}' >> $(WRAPPER)
        $(EXECUTABLE_FILE)                                 $(WRAPPER)
        "$(RM)" $(RM_OPTS) $(DESTDIR)$(bindir)/ghci
        $(LN_S) ghci-$(ProjectVersion) $(DESTDIR)$(bindir)/ghci