wok diff dev86/receipt @ rev 20792

updated clex (4.6.patch8 -> 4.6.patch9)
author: Hans-G?nter Theisgen
date: Thu Feb 14 17:35:20 2019 +0100 (2019-02-14)
parents: e60b6baa3569
children: 5ea0ce1cecc0
     1.1 --- a/dev86/receipt	Sat Jan 21 15:22:15 2017 +0100
     1.2 +++ b/dev86/receipt	Thu Feb 14 17:35:20 2019 +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 &&