wok-current rev 13770

Merge
author Alexander Medvedev <devl547@gmail.com>
date Thu Jan 03 15:34:53 2013 +0300 (2013-01-03)
parents 640d56358134 763804e31997
children 7952354474fb
files
line diff
     1.1 --- a/graphviz/receipt	Thu Jan 03 15:34:06 2013 +0300
     1.2 +++ b/graphviz/receipt	Thu Jan 03 15:34:53 2013 +0300
     1.3 @@ -19,6 +19,7 @@
     1.4  compile_rules()
     1.5  {
     1.6  	cd $src
     1.7 +	sed -i 's/.*php5.*/&\n  sed -i "s|char .type_name;|const \&|" gv_php.cpp/' tclpkg/gv/Makefile*
     1.8  	./configure --prefix=/usr \
     1.9  		--infodir=/usr/share/info \
    1.10  		--disable-static \