wok diff sed/receipt @ rev 23039

updated libgooglepinyin and libgooglepinyin-dev (0.1.1 -> 0.1.2)
author Hans-G?nter Theisgen
date Wed Mar 04 09:31:52 2020 +0100 (2020-03-04)
parents a4165ad7b30b
children d5ac235eb44c
line diff
     1.1 --- a/sed/receipt	Thu Oct 03 20:17:44 2019 +0100
     1.2 +++ b/sed/receipt	Wed Mar 04 09:31:52 2020 +0100
     1.3 @@ -34,9 +34,11 @@
     1.4  post_install()
     1.5  {
     1.6  	[ "$(readlink $1/bin/sed)" = "busybox" ] && mv $1/bin/sed $1/bin/sed-bb
     1.7 +	ln -s /usr/bin/sed $1/bin/sed
     1.8  }
     1.9  
    1.10  pre_remove()
    1.11  {
    1.12 +	rm $1/bin/sed
    1.13  	[ -e $1/bin/sed-bb ] && mv $1/bin/sed-bb $1/bin/sed
    1.14  }