wok diff gecko-mediaplayer/receipt @ rev 20647

updated htop (2.0.2 -> 2.2.0)
author Hans-G?nter Theisgen
date Fri Jan 11 16:49:32 2019 +0100 (2019-01-11)
parents d6ca18366f41
children e3f377fbc5f0
line diff
     1.1 --- a/gecko-mediaplayer/receipt	Mon Dec 21 02:53:09 2015 +0200
     1.2 +++ b/gecko-mediaplayer/receipt	Fri Jan 11 16:49:32 2019 +0100
     1.3 @@ -40,8 +40,8 @@
     1.4  
     1.5  post_install()
     1.6  {
     1.7 -	for i in "$1"/usr/lib/mozilla/plugins/$PACKAGE*.so ; do
     1.8 -		ln -s "$i" "$1"/usr/lib/firefox*/plugins
     1.9 +	for i in $(cd "$1"; ls usr/lib/mozilla/plugins/$PACKAGE*.so 2> /dev/null); do
    1.10 +		ln -s "/$i" "$1"/usr/lib/firefox*/plugins
    1.11  	done
    1.12  }
    1.13