projects
/
mono.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Add MONO_OPTIONS here
[mono.git]
/
scripts
/
script.in
diff --git
a/scripts/script.in
b/scripts/script.in
index ef0e2bcffeac50a127d4e4064ef359fc57edbbb7..cdc7a7a841e8be38693d46b577add1ad46147350 100644
(file)
--- 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 "$@"