?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge pull request #2046 from rolfbjarne/profile-simplification
[mono-project.git] / scripts / dmcs.in
blobe86cdf9df091ca5226d28752ac9ecbf35ee6db65
1 #!/bin/sh
2 exec @bindir@/mono $MONO_OPTIONS @mono_instdir@/4.5/mcs.exe -sdk:4.0 "$@"
Mirror of the official Mono project git repository