diff options
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 913e4df814..593a12f13e 100644 --- a/Makefile.in +++ b/Makefile.in @@ -598,6 +598,8 @@ mjit_config.h: esac; \ done; \ }; \ + mjit_cc=`command -v $(MJIT_CC)`; \ + case $(arch) in *-mingw*) mjit_cc="`cygpath -m $$mjit_cc`";; esac; \ test "$(Q)" = @ || set -x; \ archs="$(UNIVERSAL_ARCHNAMES)"; \ arch_flag=""; \ @@ -610,7 +612,7 @@ mjit_config.h: quote MJIT_BUILD_DIR "`$(CHDIR) . && pwd`"; \ quote MJIT_MIN_HEADER_NAME "/$(MJIT_HEADER_INSTALL_DIR)/$(MJIT_MIN_HEADER_NAME)"; \ sep=,; \ - quote "MJIT_CC_COMMON " "`command -v $(MJIT_CC)`"; \ + quote "MJIT_CC_COMMON " "$${mjit_cc}"; \ quote "MJIT_CFLAGS $${need_mjit_archflag:+ MJIT_ARCHFLAG}" $(MJIT_CFLAGS); \ quote "MJIT_OPTFLAGS " $(MJIT_OPTFLAGS); \ quote "MJIT_DEBUGFLAGS " $(MJIT_DEBUGFLAGS); \ |