wok diff glew-dev/receipt @ rev 21437

updated micro_proxy (20021030 -> 20140814)
author: Hans-G?nter Theisgen
date: Sat Apr 27 16:25:25 2019 +0100 (2019-04-27)
parents: 066eee29967a
children: 7dd01dedad38
     1.1 --- a/glew-dev/receipt	Tue Mar 05 16:32:54 2019 +0100
     1.2 +++ b/glew-dev/receipt	Sat Apr 27 16:25:25 2019 +0100
     1.3 @@ -15,7 +15,7 @@
     1.4  genpkg_rules()
     1.5  {
     1.6  	mkdir -p $fs/usr/lib
     1.7 -	cp -a $install/usr/include $fs/usr
     1.8 -	cp -a $install/usr/lib/*.*a $fs/usr/lib
     1.9 +	cp -a $install/usr/include	 $fs/usr
    1.10 +	cp -a $install/usr/lib/*.*a	 $fs/usr/lib
    1.11  	cp -a $install/usr/lib/pkgconfig $fs/usr/lib
    1.12  }