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:
authorMiguel de Icaza <miguel@gnome.org>2006-08-15 20:48:13 +0400
committerMiguel de Icaza <miguel@gnome.org>2006-08-15 20:48:13 +0400
commit4addc64003b532670fa7a57d19b7e90eb4538042 (patch)
tree85640a192e559831633b3a13e7d2ef551cf7481b /scripts/script.in
parent36b4c2cd061b3e0711694c03991eb24eeb0b653a (diff)
Add MONO_OPTIONS here
svn path=/trunk/mono/; revision=63772
Diffstat (limited to 'scripts/script.in')
-rw-r--r--scripts/script.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/script.in b/scripts/script.in
index ef0e2bcffea..cdc7a7a841e 100644
--- a/scripts/script.in
+++ b/scripts/script.in
@@ -1,2 +1,2 @@
#!/bin/sh
-exec @bindir@/@mono_interp@ @mono_instdir@/@framework_version@/@exe_name@.exe "$@"
+exec $MONO_OPTIONS @bindir@/@mono_interp@ @mono_instdir@/@framework_version@/@exe_name@.exe "$@"