wok-current diff frogatto/receipt @ rev 14614
Up: php to 5.4.13.
author | Christopher Rogers <slaxemulator@gmail.com> |
---|---|
date | Sat Jun 01 06:40:14 2013 +0000 (2013-06-01) |
parents | 6b09507225ec |
children | 205d192370e5 |
line diff
1.1 --- a/frogatto/receipt Sat Jan 05 14:44:51 2013 +0100 1.2 +++ b/frogatto/receipt Sat Jun 01 06:40:14 2013 +0000 1.3 @@ -28,6 +28,9 @@ 1.4 ln -s $lib $link 1.5 done 1.6 1.7 + # http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=652756#19 1.8 + sed -i 's/io_service()/get_io_service()/' $src/src/server.cpp 1.9 + 1.10 make $MAKEFLAGS game server 1.11 1.12 # Remove the links previously created.