diff options
Diffstat (limited to 'driver')
| -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 51203ab4d5..1d609c7949 100644 --- a/driver/ghci/ghc.mk +++ b/driver/ghci/ghc.mk @@ -34,7 +34,7 @@ driver/ghci_dist_PROG = ghci$(exeext) driver/ghci_dist_INSTALL = YES driver/ghci_dist_OTHER_OBJS = driver/ghci/ghci.res -$(eval $(call build-prog,driver/ghci,dist,0)) +$(eval $(call build-prog,driver/ghci,dist,1)) driver/ghci_dist_PROG_VER = ghci-$(ProjectVersion)$(exeext) |