diff options
Diffstat (limited to 'data/vim/strip.diff')
| -rw-r--r-- | data/vim/strip.diff | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/data/vim/strip.diff b/data/vim/strip.diff new file mode 100644 index 000000000..bbd88eed7 --- /dev/null +++ b/data/vim/strip.diff @@ -0,0 +1,19 @@ +diff -r -u vim71/src/Makefile vim71+iPhone/src/Makefile +--- vim71/src/Makefile 2007-05-12 11:57:13.000000000 +0000 ++++ vim71+iPhone/src/Makefile 2008-04-04 18:50:37.000000000 +0000 +@@ -1758,7 +1758,6 @@ + rm -f $(DEST_BIN)/$(VIMNAME).rm; \ + fi + $(INSTALL_PROG) $(VIMTARGET) $(DEST_BIN) +- $(STRIP) $(DEST_BIN)/$(VIMTARGET) + chmod $(BINMOD) $(DEST_BIN)/$(VIMTARGET) + # may create a link to the new executable from /usr/bin/vi + -$(LINKIT) +@@ -1889,7 +1888,6 @@ + rm -f $(DEST_BIN)/xxd.rm; \ + fi + $(INSTALL_PROG) xxd/xxd$(EXEEXT) $(DEST_BIN) +- $(STRIP) $(DEST_BIN)/xxd$(EXEEXT) + chmod $(BINMOD) $(DEST_BIN)/xxd$(EXEEXT) + -$(SHELL) ./installman.sh xxd $(DEST_MAN) "" $(INSTALLMANARGS) + |