diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/ghci/ghc.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/driver/ghci/ghc.mk b/driver/ghci/ghc.mk index 88c6aafeca..7220090696 100644 --- a/driver/ghci/ghc.mk +++ b/driver/ghci/ghc.mk @@ -32,6 +32,7 @@ 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_INSTALL = YES +driver/ghci_dist_INSTALL_INPLACE = YES driver/ghci_dist_OTHER_OBJS = driver/ghci/ghci.res $(eval $(call build-prog,driver/ghci,dist,1)) |