diff options
Diffstat (limited to 'packaging/MacSDK/patches/fsharp-noinstall.patch')
| -rw-r--r-- | packaging/MacSDK/patches/fsharp-noinstall.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/packaging/MacSDK/patches/fsharp-noinstall.patch b/packaging/MacSDK/patches/fsharp-noinstall.patch new file mode 100644 index 00000000000..133726cb1b3 --- /dev/null +++ b/packaging/MacSDK/patches/fsharp-noinstall.patch @@ -0,0 +1,13 @@ +diff --git a/mono/build-mono.sh b/mono/build-mono.sh +index 12e49fa..85145a9 100755 +--- a/mono/build-mono.sh ++++ b/mono/build-mono.sh +@@ -3,6 +3,6 @@ + # Bootstrap the compiler + # Install the compiler + ./mono/prepare-mono.sh && \ +-make && \ +-sudo make install ++make && make install ++ + |