Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/mono.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorZoltan Varga <vargaz@gmail.com>2014-10-24 07:01:22 +0400
committerZoltan Varga <vargaz@gmail.com>2014-10-24 07:01:28 +0400
commite6b335e7f7b6d2a9038b603eacb9757ad14db330 (patch)
treeb9af0ca6d927b8d73d5b39eea43523f7f1299fa0 /scripts
parent3d9a2b7175525f8451476f4b6d63c88c2cd4a197 (diff)
[runtime] Remove build system support for the interpreter.
Diffstat (limited to 'scripts')
-rw-r--r--scripts/Makefile.am4
1 files changed, 0 insertions, 4 deletions
diff --git a/scripts/Makefile.am b/scripts/Makefile.am
index ac0e3a9a957..be62dd633ef 100644
--- a/scripts/Makefile.am
+++ b/scripts/Makefile.am
@@ -165,11 +165,7 @@ EXTRA_DIST = \
get-cygwin-deps.sh \
mono-configuration-crypto.in
-if USE_JIT
mono_interp = mono
-else
-mono_interp = mint
-endif
if HOST_WIN32
if CROSS_COMPILING