diff options
| author | Marek Safar <marek.safar@gmail.com> | 2014-12-09 11:46:47 +0300 |
|---|---|---|
| committer | Marek Safar <marek.safar@gmail.com> | 2014-12-09 11:46:47 +0300 |
| commit | 7ac15125c018840b9a0c47a5b5ae21015db45baf (patch) | |
| tree | 380ed87cd7d9924f40bddca535614c1b1b2c8512 /scripts | |
| parent | 5c7bc0383355c17235d87032dc28b524310a40e4 (diff) | |
Fix dmcs to have correct sdk value
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/dmcs.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/dmcs.in b/scripts/dmcs.in index d254e29c7b7..e86cdf9df09 100755 --- a/scripts/dmcs.in +++ b/scripts/dmcs.in @@ -1,2 +1,2 @@ #!/bin/sh -exec @bindir@/mono $MONO_OPTIONS @mono_instdir@/4.5/mcs.exe "$@" +exec @bindir@/mono $MONO_OPTIONS @mono_instdir@/4.5/mcs.exe -sdk:4.0 "$@" |