[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
patch for 'make install'
From: |
Mel Hatzis |
Subject: |
patch for 'make install' |
Date: |
Fri, 31 Oct 2003 13:56:11 -0800 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4) Gecko/20030624 |
A recent change associated with locating a more useful version
of awk and involving the generation of the diff-prs program
broke 'make install' for some cases.
The break is associated with running the configure/make/make install
from a directory other than the top-level configure resides
(i.e. if one wishes to compile with an objdir).
Please review the following patch which fixes the break...
* Makefile.in: The diff-prs utility is now generated.
diff -u -p -r1.11 Makefile.in
--- Makefile.in 31 Oct 2003 18:56:03 -0000 1.11
+++ Makefile.in 31 Oct 2003 21:27:07 -0000
@@ -409,7 +409,7 @@ install-tools-bin: all-tools
$(INSTALL_PROGRAM) query-pr $(bindir)/query-pr
$(INSTALL_PROGRAM) getclose $(bindir)/getclose
$(INSTALL_SCRIPT) edit-pr $(bindir)/edit-pr
- $(INSTALL_SCRIPT) $(srcdir)/diff-prs $(libexecdir)/gnats/diff-prs
+ $(INSTALL_SCRIPT) diff-prs $(libexecdir)/gnats/diff-prs
$(INSTALL_SCRIPT) mail-agent $(libexecdir)/gnats/mail-agent
$(INSTALL_PROGRAM) file-pr $(libexecdir)/gnats/file-pr
$(INSTALL_PROGRAM) pr-age $(libexecdir)/gnats/pr-age
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- patch for 'make install',
Mel Hatzis <=