chiark / gitweb /
Fix default update= on ant builds