diff options
| author | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2013-12-20 12:55:57 +0400 |
|---|---|---|
| committer | Michael Hutchinson <m.j.hutchinson@gmail.com> | 2014-01-08 03:39:29 +0400 |
| commit | 5e70ba51a0cb57dd878f08f59d0f0718867d5218 (patch) | |
| tree | e47e60c1ff048f25b8c862a9c9095ec87c6cd0eb /scripts/xbuild.in | |
| parent | 3313d9ee10219ada1cd7e6bcc0c1a61258b3c6b3 (diff) | |
[xbuild] Make xbuild script point to xbuild 12
Diffstat (limited to 'scripts/xbuild.in')
| -rw-r--r-- | scripts/xbuild.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/xbuild.in b/scripts/xbuild.in new file mode 100644 index 00000000000..bbaac3d85d8 --- /dev/null +++ b/scripts/xbuild.in @@ -0,0 +1,2 @@ +#!/bin/sh +exec @bindir@/mono $MONO_OPTIONS @mono_instdir@/xbuild/12.0/bin/xbuild.exe "$@" |