diff options
Diffstat (limited to 'packages/xboard/files/no-strip.patch')
| -rw-r--r-- | packages/xboard/files/no-strip.patch | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/packages/xboard/files/no-strip.patch b/packages/xboard/files/no-strip.patch deleted file mode 100644 index 5785a9a1f1..0000000000 --- a/packages/xboard/files/no-strip.patch +++ /dev/null @@ -1,15 +0,0 @@ -Index: xboard-4.2.7-r0/xboard-4.2.7/Makefile.in -=================================================================== ---- xboard-4.2.7-r0.orig/xboard-4.2.7/Makefile.in -+++ xboard-4.2.7-r0/xboard-4.2.7/Makefile.in -@@ -63,8 +63,8 @@ default: xboard zic2xpm - all: default pseudosource info FAQ html dvi ps - - install: installdirs default -- $(INSTALL_PROGRAM) -s xboard $(bindir)/xboard -- $(INSTALL_PROGRAM) -s zic2xpm $(bindir)/zic2xpm -+ $(INSTALL_PROGRAM) xboard $(bindir)/xboard -+ $(INSTALL_PROGRAM) zic2xpm $(bindir)/zic2xpm - $(INSTALL_PROGRAM) cmail $(bindir)/cmail - $(INSTALL_PROGRAM) $(srcdir)/pxboard $(bindir)/pxboard - $(INSTALL_DATA) $(srcdir)/xboard.man $(man6dir)/xboard$(man6ext) |