[Pkg-wmaker-commits] [wmitime] 95/127: debian/patches/make-install.patch: Create installation directory.
Doug Torrance
dtorrance-guest at moszumanska.debian.org
Sat Aug 22 01:34:41 UTC 2015
This is an automated email from the git hooks/post-receive script.
dtorrance-guest pushed a commit to branch master
in repository wmitime.
commit 1bae4d3f57c6fa6f0be2cb7c2e22380bd24eacba
Author: Doug Torrance <dtorrance at monmouthcollege.edu>
Date: Mon Aug 4 10:48:39 2014 -0500
debian/patches/make-install.patch: Create installation directory.
---
debian/patches/make-install.patch | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/debian/patches/make-install.patch b/debian/patches/make-install.patch
index efcbf55..af41869 100644
--- a/debian/patches/make-install.patch
+++ b/debian/patches/make-install.patch
@@ -1,18 +1,20 @@
Description: Patch Makefile to use DESTDIR during make install.
The upstream Makefile would always install the wmitime binary in
/usr/local/bin, which causes an error while building the package.
+ Also create $(DESTDIR)/usr/bin to avoid needing a debian/dirs file.
Author: Doug Torrance <dtorrance at monmouthcollege.edu>
Last-Update: 2014-08-04
--- a/wmitime/Makefile
+++ b/wmitime/Makefile
-@@ -24,9 +24,9 @@
+@@ -24,9 +24,10 @@
rm -f *~
install:: wmitime
- cp -f wmitime /usr/local/bin/
- chmod 755 /usr/local/bin/wmitime
- chown root:root /usr/local/bin/wmitime
++ mkdir -p $(DESTDIR)/usr/bin
+ cp -f wmitime $(DESTDIR)/usr/bin
+ chmod 755 $(DESTDIR)/usr/bin/wmitime
+ chown root:root $(DESTDIR)/usr/bin/wmitime
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-wmaker/wmitime.git
More information about the Pkg-wmaker-commits
mailing list