wok-6.x diff sdcc/receipt @ rev 21497

updated mtools (4.0.16 -> 4.0.23)
author: Hans-G?nter Theisgen
date: Thu May 02 13:07:21 2019 +0100 (2019-05-02)
parents: 7896f0694ef6
children: 937925ea7478
     1.1 --- a/sdcc/receipt	Sat Aug 10 21:12:16 2013 +0000
     1.2 +++ b/sdcc/receipt	Thu May 02 13:07:21 2019 +0100
     1.3 @@ -17,7 +17,7 @@
     1.4  compile_rules()
     1.5  {
     1.6  	cd $src
     1.7 -	sed -i 's/exec/[ "$1" == ":" ] || &/' device/lib/pic16/depcomp
     1.8 +	sed -i 's/exec/[ "$1" = ":" ] || &/' device/lib/pic16/depcomp
     1.9  	sed -i 's/ -u$//' device/lib/Makefile*
    1.10  
    1.11  	./configure --prefix=/usr --infodir=/usr/share/info \