chiark / gitweb /
Remove duplicate build_flags check