wok-6.x diff micro_proxy/receipt @ rev 22612

updated codeblocks again (10.05 -> 17.12)
author: Hans-G?nter Theisgen
date: Fri Jan 10 13:36:24 2020 +0100 (2020-01-10)
parents: 2f6cba8ea51c
children: ad8b9ff412d2
     1.1 --- a/micro_proxy/receipt	Sat Apr 27 16:25:25 2019 +0100
     1.2 +++ b/micro_proxy/receipt	Fri Jan 10 13:36:24 2020 +0100
     1.3 @@ -14,8 +14,6 @@
     1.4  # Rules to configure and make the package.
     1.5  compile_rules()
     1.6  {
     1.7 -	mv $PACKAGE $PACKAGE-$VERSION 2> /dev/null
     1.8 -	cd $src
     1.9  	make
    1.10  }
    1.11