[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