?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
p7zip: update to 17.05
[oi-userland.git] / components / desktop / pipes.sh / patches / 01-put_in_usr_bin.patch
blob416b66310ceaf3bc5cbca8d9289f95ce6db07ae4
1 --- pipes.sh-1.3.0/Makefile.orig 2018-02-24 23:54:40.000000000 +0000
2 +++ pipes.sh-1.3.0/Makefile 2021-05-28 14:13:27.708390217 +0000
3 @@ -1,4 +1,4 @@
4 -PREFIX=/usr/local
5 +PREFIX=/usr
6 DESTDIR=
7
8 INSTDIR=$(DESTDIR)$(PREFIX)