blob: 81021c7674aab8f579197df29b05995067a8ccaa (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- mono/mini/Makefile.am.in.orig 2018-04-13 23:37:57 UTC
+++ mono/mini/Makefile.am.in
@@ -698,7 +698,7 @@ MemoryIntrinsics.dll: MemoryIntrinsics.i
GENMDESC_OPTS=
-GENMDESC_PRG=python $(srcdir)/genmdesc.py $(target_define) $(srcdir)
+GENMDESC_PRG=python2.7 $(srcdir)/genmdesc.py $(target_define) $(srcdir)
cpu-wasm.h: cpu-wasm.md
$(GENMDESC_PRG) cpu-wasm.h wasm_desc $(srcdir)/cpu-wasm.md
|
