diff options
Diffstat (limited to 'driver/ghci/ghc.mk')
-rw-r--r-- | driver/ghci/ghc.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/ghci/ghc.mk b/driver/ghci/ghc.mk index c231347c0b..736b7a927d 100644 --- a/driver/ghci/ghc.mk +++ b/driver/ghci/ghc.mk @@ -31,7 +31,7 @@ else # Windows_Host... driver/ghci_dist_C_SRCS = ghci.c ../utils/cwrapper.c ../utils/getLocation.c driver/ghci_dist_CC_OPTS += -I driver/utils -driver/ghci_dist_PROG = ghci$(exeext) +driver/ghci_dist_PROGNAME = ghci driver/ghci_dist_INSTALL = YES driver/ghci_dist_INSTALL_INPLACE = YES driver/ghci_dist_OTHER_OBJS = driver/ghci/ghci.res |