diff options
author | root <root@rshg054.dnsready.net> | 2013-09-15 01:56:07 -0700 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2013-09-15 01:56:07 -0700 |
commit | c779760082085ee8f0e33d528811450e260867e0 (patch) | |
tree | 826e201cf8f1c37ff4b1420905fe253851fb04ea /extra/mono/mono.install | |
parent | 4037e15db64f7056ae2222c22605b41d95d5b3c3 (diff) |
Sun Sep 15 01:54:13 PDT 2013
Diffstat (limited to 'extra/mono/mono.install')
-rw-r--r-- | extra/mono/mono.install | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/extra/mono/mono.install b/extra/mono/mono.install new file mode 100644 index 000000000..6a57c2a70 --- /dev/null +++ b/extra/mono/mono.install @@ -0,0 +1,7 @@ +post_install() { +ln -sf /bin/mono-sgen /bin/mono +} + +post_upgrade() { +post_install +} |