diff options
-rw-r--r-- | compiler/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/compiler/Makefile b/compiler/Makefile index 407cea6017..adf6aeb424 100644 --- a/compiler/Makefile +++ b/compiler/Makefile @@ -486,8 +486,11 @@ LIB_DIST_DIR = dist-stage2 #----------------------------------------------------------------------------- # etags generation - -GHCTAGS = $(TOP)/utils/ghctags/ghctags +ifeq "$(HOSTPLATFORM)" "i386-unknown-mingw32" +GHCTAGS = $(TOP)/utils/ghctags/ghctags.exe +else +GHCTAGS = $(TOP)/utils/ghctags/ghctags-inplace +endif GHCTAGS_ROOT = main/GHC.hs # etags for stage2 is actually broken since it requires building |