diff options
| -rw-r--r-- | Makefile.in | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 593a12f13e..52e04ab23b 100644 --- a/Makefile.in +++ b/Makefile.in @@ -598,8 +598,11 @@ mjit_config.h: esac; \ done; \ }; \ - mjit_cc=`command -v $(MJIT_CC)`; \ - case $(arch) in *-mingw*) mjit_cc="`cygpath -m $$mjit_cc`";; esac; \ + mjit_cc="$(MJIT_CC)"; \ + if [ "$(CROSS_COMPILING)" = no ]; then \ + mjit_cc="`command -v $$mjit_cc`"; \ + case $(arch) in *-mingw*) mjit_cc="`cygpath -m $$mjit_cc`";; esac; \ + fi; \ test "$(Q)" = @ || set -x; \ archs="$(UNIVERSAL_ARCHNAMES)"; \ arch_flag=""; \ |