>> The buildfarm is fairly unhappy, and I think it's because of this patch.
>
> Thanks for the info. Yes, at least prion is unhappy because of the
> patch. I will look into this.
Done. See if the buildarm becomes happy.
Best regards,
--
Tatsuo Ishii
SRA OSS, Inc. Japan
English: http://www.sraoss.co.jp/index_en.php
Japanese:http://www.sraoss.co.jp