diff options
Diffstat (limited to 'packaging/MacSDK/patches/fsharp-debug.patch')
-rw-r--r-- | packaging/MacSDK/patches/fsharp-debug.patch | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/packaging/MacSDK/patches/fsharp-debug.patch b/packaging/MacSDK/patches/fsharp-debug.patch deleted file mode 100644 index d454dfaf163..00000000000 --- a/packaging/MacSDK/patches/fsharp-debug.patch +++ /dev/null @@ -1,17 +0,0 @@ -diff --git a/mono/config.make b/mono/config.make -index 00bd4a0..136c644 100644 ---- a/mono/config.make -+++ b/mono/config.make -@@ -144,6 +144,12 @@ NO_DIST = .gitignore lib/debug lib/proto lib/release - # - install-sdk-lib: - @echo "Installing $(ASSEMBLY)" -+ @echo "Dest dir" -+ @ls -la $(DESTDIR) -+ @chmod +w $(DESTDIR) -+ @ls -la $(DESTDIR) -+ @echo "Mono dir" - @mkdir -p $(DESTDIR)$(monodir)/fsharp -+ @ls -la $(DESTDIR)$(monodir) - @if test "x$(DELAY_SIGN)" = "x1"; then \ - echo "Signing $(outdir)$(ASSEMBLY) with Mono key"; \ |