diff options
-rw-r--r-- | shells/pdksh/files/patch-Makefile.in | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/shells/pdksh/files/patch-Makefile.in b/shells/pdksh/files/patch-Makefile.in new file mode 100644 index 000000000000..37d00ce67283 --- /dev/null +++ b/shells/pdksh/files/patch-Makefile.in @@ -0,0 +1,26 @@ +--- Makefile.in 2014-02-19 10:09:23.000000000 +0100 ++++ Makefile.in 2014-02-19 10:09:57.000000000 +0100 +@@ -26,8 +26,8 @@ + exec_prefix = @exec_prefix@ + transform=@program_transform_name@ + +-bindir = $(exec_prefix)/bin +-mandir = $(prefix)/man/man$(manext) ++bindir = $(DESTDIR)$(exec_prefix)/bin ++mandir = $(DESTDIR)$(prefix)/man/man$(manext) + manext = 1 + + # Suffix for executables: nothing for unix, .exe for os/2. +--- Makefile.in 2014-02-12 11:54:53.000000000 +0100 ++++ Makefile.in 2014-02-12 11:55:29.000000000 +0100 +@@ -26,8 +26,8 @@ + exec_prefix = @exec_prefix@ + transform=@program_transform_name@ + +-bindir = $(exec_prefix)/bin +-mandir = $(prefix)/man/man$(manext) ++bindir = ${DESTDIR}$(exec_prefix)/bin ++mandir = ${DESTDIR}$(prefix)/man/man$(manext) + manext = 1 + + # Suffix for executables: nothing for unix, .exe for os/2. |