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>2004-11-28 04:19:53 +0300
committerMiguel de Icaza <miguel@gnome.org>2004-11-28 04:19:53 +0300
commitbfdf0e824e15a95a441f1339dfc8825b480db4b7 (patch)
treea6d5cf23ca7e559bb32c1de08706da0c045f1ee5 /scripts
parentd458242d15e44e65b630bfab97c8904e009ae911 (diff)
Add scripts
svn path=/trunk/mono/; revision=36705
Diffstat (limited to 'scripts')
-rw-r--r--scripts/script.in2
-rw-r--r--scripts/script2.in2
2 files changed, 4 insertions, 0 deletions
diff --git a/scripts/script.in b/scripts/script.in
new file mode 100644
index 00000000000..e68eb084cb3
--- /dev/null
+++ b/scripts/script.in
@@ -0,0 +1,2 @@
+#!/bin/sh
+exec @bindir@/@mono_interp@ @mono_one_instdir@/@exe_file@ "$@"
diff --git a/scripts/script2.in b/scripts/script2.in
new file mode 100644
index 00000000000..0b594f30aca
--- /dev/null
+++ b/scripts/script2.in
@@ -0,0 +1,2 @@
+#!/bin/sh
+exec @bindir@/@mono_interp@ @mono_two_instdir@/@exe_file@ "$@"