diff options
Diffstat (limited to 'driver/ghci')
| -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 736b7a927d..bd4bf36117 100644 --- a/driver/ghci/ghc.mk +++ b/driver/ghci/ghc.mk @@ -38,7 +38,7 @@ driver/ghci_dist_OTHER_OBJS = driver/ghci/ghci.res $(eval $(call build-prog,driver/ghci,dist,1)) -driver/ghci_dist_PROG_VER = ghci-$(ProjectVersion)$(exeext) +driver/ghci_dist_PROG_VER = ghci-$(ProjectVersion)$(exeext1) INSTALL_BINS += driver/ghci/dist/build/tmp/$(driver/ghci_dist_PROG_VER) |