wok diff dev86/receipt @ rev 22710
updated f3 (2.2 -> 7.2)
author | Hans-G?nter Theisgen |
---|---|
date | Wed Jan 22 09:41:20 2020 +0100 (2020-01-22) |
parents | e60b6baa3569 |
children | 5ea0ce1cecc0 |
line diff
1.1 --- a/dev86/receipt Sat Jan 21 15:22:15 2017 +0100 1.2 +++ b/dev86/receipt Wed Jan 22 09:41:20 2020 +0100 1.3 @@ -16,6 +16,7 @@ 1.4 # Rules to configure and make the package. 1.5 compile_rules() 1.6 { 1.7 + sed -i 's|include/malloc.h|& 2> /dev/null|' libc/malloc/Makefile 1.8 sed -i 's|/usr/man|/usr/share/man|' man/Makefile 1.9 sed -i 's|REFIX)/man|REFIX)/share/man|' Makefile */Makefile 1.10 make -j 1 PREFIX=/usr &&