diff options
author | Phil Blundell <philb@gnu.org> | 2007-01-28 16:14:43 +0000 |
---|---|---|
committer | Phil Blundell <philb@gnu.org> | 2007-01-28 16:14:43 +0000 |
commit | 25fd37ef987368dd32eba359273c5af98158a364 (patch) | |
tree | 5f2320dd99ebfb6fd219bd57a9395ebddeee6537 /packages/bmon/files/no-strip.patch | |
parent | b099d3ec077475cf9e24c271fdbd4c1ddbbb70b1 (diff) | |
parent | 6baa6c1f96b3137abdaf5d50af955115844197ae (diff) |
merge of '7a32604865cb7ad63fbc7f14acda9e02229b44b5'
and '9ab9482d0ea26dbc9267d10e1eb42cc1a7546b6b'
Diffstat (limited to 'packages/bmon/files/no-strip.patch')
-rw-r--r-- | packages/bmon/files/no-strip.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/packages/bmon/files/no-strip.patch b/packages/bmon/files/no-strip.patch new file mode 100644 index 0000000000..f09e816857 --- /dev/null +++ b/packages/bmon/files/no-strip.patch @@ -0,0 +1,13 @@ +Index: bmon-2.1.0/GNUmakefile +=================================================================== +--- bmon-2.1.0.orig/GNUmakefile ++++ bmon-2.1.0/GNUmakefile +@@ -50,7 +50,7 @@ distclean: clean + install: + ./install-sh -d -m 0755 $(DESTDIR)$(prefix)/bin + ./install-sh -d -m 0755 $(DESTDIR)$(mandir)/man1 +- ./install-sh -c -s -m 0755 src/bmon $(DESTDIR)$(prefix)/bin ++ ./install-sh -c -m 0755 src/bmon $(DESTDIR)$(prefix)/bin + ./install-sh -c -m 0644 man/bmon.1 $(DESTDIR)$(mandir)/man1 + + show: Makefile.opts |