lib/php/20060613/tokenizer.so @unexec rmdir %D/lib/php/20060613 2> /dev/null || true include/php/ext/tokenizer/php_tokenizer.h include/php/ext/tokenizer/config.h @dirrm include/php/ext/tokenizer @exec echo \#include \"ext/tokenizer/config.h\" >> %D/include/php/ext/php_config.h @unexec cp %D/include/php/ext/php_config.h %D/include/php/ext/php_config.h.orig @unexec grep -v ext/tokenizer/config.h %D/include/php/ext/php_config.h.orig > %D/include/php/ext/php_config.h || true @unexec rm %D/include/php/ext/php_config.h.orig @exec mkdir -p %D/etc/php @exec echo extension=tokenizer.so >> %D/etc/php/extensions.ini @unexec cp %D/etc/php/extensions.ini %D/etc/php/extensions.ini.orig @unexec grep -v extension=tokenizer\\.so %D/etc/php/extensions.ini.orig > %D/etc/php/extensions.ini || true @unexec rm %D/etc/php/extensions.ini.orig @unexec [ -s %D/etc/php/extensions.ini ] || rm %D/etc/php/extensions.ini @unexec rmdir %D/etc/php 2> /dev/null || true